16 #ifndef L4UTIL_MBI_ARGV 17 #define L4UTIL_MBI_ARGV 19 #include <l4/sys/l4int.h> 27 extern int l4util_argc;
28 extern char *l4util_argv[];
signed long l4_mword_t
Signed machine word.
#define EXTERN_C_END
End section with C types and functions.
Multiboot info structure as defined by GRUB.
L4 compiler related defines.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define L4_CV
Define calling convention.