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

/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h30 typedef struct multiboot_info { struct

Completed in 72 milliseconds