Searched defs:orig_x (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ | ||
H A D | guest_boot_info.h | 31 uint8_t orig_x; /* 0x00 */ member in struct:screen_info |
Completed in 76 milliseconds