Searched refs:memmap_hi (Results 1 – 5 of 5) sorted by relevance
64 uint32_t memmap_hi; /* 0x1dc */ member
38 void *efi_memmap = (void *)((uint64_t)uefi_info->memmap | ((uint64_t)uefi_info->memmap_hi << 32U)); in init_efi_mmap_entries()
58 if (boot_from_uefi(abi) && ((abi->uefi_info.memmap == 0U) || (abi->uefi_info.memmap_hi != 0U))) { in sanitize_acrn_boot_info()
70 abi->uefi_info.memmap_hi = (uint32_t)(((uint64_t)mb2_tag_efimmap->efi_mmap) >> 32U); in mb2_efimmap_to_abi()
294 service_vm_efi_info->memmap_hi = (uint32_t)(efi_mmap_gpa >> 32U); in create_zero_page()
Completed in 8 milliseconds