Searched defs:capabilities (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ | ||
H A D | bootinfo_types.h | 16 seL4_Uint32 capabilities; member in struct:seL4_VBEInfoBlock |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ | ||
H A D | guest_boot_info.h | 65 uint32_t capabilities; /* 0x36 */ member in struct:screen_info |
Completed in 29 milliseconds