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