Searched refs:entry_point_high (Results 1 – 2 of 2) sorted by relevance
| /hypervisor/include/public/ | ||
| A D | acrn_hv_defs.h | 320 uint32_t entry_point_high; member |
| /hypervisor/arch/x86/guest/ | ||
| A D | trusty.c | 354 (((uint64_t)boot_param->entry_point_high) << 32U); in initialize_trusty() |
Completed in 4 milliseconds