Searched refs:realmode_swtch (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/xeon_phi/ | ||
| H A D | xeon_phi.h | 91 uint32_t realmode_swtch; member in struct:xeon_phi_boot_params |
| /barrelfish-2018-10-04/kernel/include/arch/k1om/ | ||
| H A D | kernel_boot_param.h | 60 uint32_t realmode_swtch; member in struct:setup_header |
Completed in 99 milliseconds