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

/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h39 uint32_t mod_list; member in struct:multiboot_info::multiboot_part1
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c517 multiboot_module_t *modules = (multiboot_module_t *)(word_t)mbi->part1.mod_list;

Completed in 31 milliseconds