Searched refs:code32_start (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/include/xeon_phi/ | ||
| H A D | xeon_phi.h | 99 uint32_t code32_start; member in struct:xeon_phi_boot_params |
| /barrelfish-master/kernel/include/arch/k1om/ | ||
| H A D | kernel_boot_param.h | 70 uint32_t code32_start; member in struct:setup_header |
Completed in 36 milliseconds