AARCH64_KVA_TO_PA
paddr_t pa = AARCH64_KVA_TO_PA(v);
pa = AARCH64_KVA_TO_PA((vaddr_t)pdp);
pdppa = AARCH64_KVA_TO_PA(trunc_page((vaddr_t)ptep_in_parent));
_pmap_pdp_delref(pm, AARCH64_KVA_TO_PA((vaddr_t)l3),
AARCH64_KVA_TO_PA(trunc_page((vaddr_t)ptep)), true);
AARCH64_KVA_TO_PA(trunc_page(
efipm->pm_l0table_pa = AARCH64_KVA_TO_PA(efi_l0va);
pa = AARCH64_KVA_TO_PA(
pdppa = AARCH64_KVA_TO_PA(trunc_page((vaddr_t)ptep_in_parent));
paddr_t pa = AARCH64_KVA_TO_PA(va);
return AARCH64_KVA_TO_PA(va);
paddr_t pdepa = AARCH64_KVA_TO_PA(pdeva);
efipm->pm_l0_pa = AARCH64_KVA_TO_PA(efi_l0va);
pa = AARCH64_KVA_TO_PA(va);
#define PMAP_UNMAP_POOLPAGE(va) AARCH64_KVA_TO_PA(va)