Searched defs:vbe_info (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ | ||
| H A D | boot_sys.h | 29 seL4_X86_BootInfo_VBE vbe_info; /* Potential VBE information from multiboot */ member in struct:boot_state |
Completed in 28 milliseconds