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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h63 #define MULTIBOOT_INFO_CMDLINE_FLAG BIT(2) macro

Completed in 77 milliseconds