Searched refs:config_table (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ | ||
H A D | multiboot.h | 50 uint32_t config_table; member in struct:multiboot_info::multiboot_part2 |
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/ | ||
H A D | multiboot.h | 143 multiboot_uint32_t config_table; member in struct:multiboot_info |
Completed in 29 milliseconds