Searched refs:MULTIBOOT_INFO_MAGIC (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/
H A Dmultiboot.h24 #define MULTIBOOT_INFO_MAGIC 0x2BADB002 macro
/barrelfish-master/kernel/arch/x86_64/
H A Dinit.c553 * has been booted. If 'magic' is #MULTIBOOT_INFO_MAGIC the kernel has been
578 serial_console_init((magic == MULTIBOOT_INFO_MAGIC));
585 apic_bsp = magic == MULTIBOOT_INFO_MAGIC;
593 case MULTIBOOT_INFO_MAGIC:
610 KERNEL_BOOT_MAGIC, magic, MULTIBOOT_INFO_MAGIC);
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c603 * has been booted. If 'magic' is #MULTIBOOT_INFO_MAGIC the kernel has been
628 serial_console_init((magic == MULTIBOOT_INFO_MAGIC));
651 case MULTIBOOT_INFO_MAGIC:
693 KERNEL_BOOT_MAGIC, magic, MULTIBOOT_INFO_MAGIC);
/barrelfish-master/tools/molly/
H A Dmolly_init.c318 MULTIBOOT_INFO_MAGIC,

Completed in 70 milliseconds