Searched defs:realmode_swtch (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/include/xeon_phi/ | ||
H A D | xeon_phi.h | 93 uint32_t realmode_swtch; member in struct:xeon_phi_boot_params |
/barrelfish-master/kernel/include/arch/k1om/ | ||
H A D | kernel_boot_param.h | 60 uint32_t realmode_swtch; member in struct:setup_header |
Completed in 40 milliseconds