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