Parent Directory | Revision Log | 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 */ |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |