Searched refs:boot_loader_name (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h51 uint32_t boot_loader_name; member in struct:multiboot_info::multiboot_part2
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dmultiboot.h146 multiboot_uint32_t boot_loader_name; member in struct:multiboot_info

Completed in 40 milliseconds