AARCH64_PA_TO_KVA
pmapboot_enter_range(AARCH64_PA_TO_KVA(start), start,
initmsgbuf((void *)AARCH64_PA_TO_KVA(msgbufaddr), MSGBUFSIZE);
*vap = AARCH64_PA_TO_KVA(pa);
l0 = (pd_entry_t *)AARCH64_PA_TO_KVA(pa);
l1 = (pd_entry_t *)AARCH64_PA_TO_KVA(l0pde_pa(pde));
l2 = (pd_entry_t *)AARCH64_PA_TO_KVA(l1pde_pa(pde));
l3 = (pd_entry_t *)AARCH64_PA_TO_KVA(l2pde_pa(pde));
(pd_entry_t *)AARCH64_PA_TO_KVA(pa),
pm->pm_l0table = (pd_entry_t *)AARCH64_PA_TO_KVA(pm->pm_l0table_pa);
l1 = (void *)AARCH64_PA_TO_KVA(pdppa);
l2 = (void *)AARCH64_PA_TO_KVA(pdppa);
l3 = (void *)AARCH64_PA_TO_KVA(pdppa);
l0 = (void *)AARCH64_PA_TO_KVA(l0pa);
va = AARCH64_PA_TO_KVA(pa);
l1 = (pd_entry_t *)AARCH64_PA_TO_KVA(l0pde_pa(pde));
l2 = (pd_entry_t *)AARCH64_PA_TO_KVA(l1pde_pa(pde));
l3 = (pd_entry_t *)AARCH64_PA_TO_KVA(l2pde_pa(pde));
va = AARCH64_PA_TO_KVA(pa);
return AARCH64_PA_TO_KVA(pa);
pm->pm_pdetab = (pmap_pdetab_t *)AARCH64_PA_TO_KVA(pm->pm_l0_pa);
l0 = (pd_entry_t *)AARCH64_PA_TO_KVA(pa);
l1 = (pd_entry_t *)AARCH64_PA_TO_KVA(pa);
l2 = (pd_entry_t *)AARCH64_PA_TO_KVA(pa);
l3 = (pd_entry_t *)AARCH64_PA_TO_KVA(pa);
l0 = (void *)AARCH64_PA_TO_KVA(l0pa);
l1 = (void *)AARCH64_PA_TO_KVA(pa);
l2 = (void *)AARCH64_PA_TO_KVA(pa);
l3 = (void *)AARCH64_PA_TO_KVA(pa);
va = AARCH64_PA_TO_KVA(pa);
#define PMAP_MAP_POOLPAGE(pa) AARCH64_PA_TO_KVA(pa)
vaddr_t va = AARCH64_PA_TO_KVA(pa);