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[];
L4 compiler related defines.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
signed long l4_mword_t
Signed machine word.
#define L4_CV
Define calling convention.
Multiboot info structure as defined by GRUB.
MultiBoot Info description.