Searched refs:tboot_addr (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/include/xeon_phi/ | ||
| H A D | xeon_phi.h | 81 uint64_t tboot_addr; /* 0x058 */ member in struct:xeon_phi_boot_params |
| /barrelfish-master/kernel/include/arch/k1om/ | ||
| H A D | kernel_boot_param.h | 123 uint64_t tboot_addr; /* 0x058 */ member in struct:boot_params |
Completed in 46 milliseconds