/[hurd]/hurd-l4/libl4/l4.h
ViewVC logotype

Diff of /hurd-l4/libl4/l4.h

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by marcus, Thu Sep 18 15:46:58 2003 UTC revision 1.3 by marcus, Thu Sep 18 20:16:39 2003 UTC
# Line 31  Line 31 
31  #include <l4/misc.h>  #include <l4/misc.h>
32  #include <l4/kip.h>  #include <l4/kip.h>
33    
   
 /* Initialize the global data.  */  
 static inline void  
 __attribute__((__always_inline__))  
 l4_init (void)  
 {  
   l4_api_version_t version;  
   l4_api_flags_t flags;  
   l4_kernel_id_t id;  
   
   __l4_kip = l4_kernel_interface (&version, &flags, &id);  
 };  
   
34  #endif  /* l4.h */  #endif  /* l4.h */

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26