PHYS_TO_DMAP
lwb->kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(lwb->m));
lwb->kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(lwb->m));
pmap_change_attr(PHYS_TO_DMAP(VM_PAGE_TO_PHYS(p)),
pmap_change_attr(PHYS_TO_DMAP(VM_PAGE_TO_PHYS(p)),
return (void *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS( (struct vm_page *)pg ));
return (void *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS( (struct vm_page *)pg ));
efi_systbl = (struct efi_systbl *)PHYS_TO_DMAP(efi_systbl_phys);
*ptr = (void *)PHYS_TO_DMAP(ct->ct_data);
addr = PHYS_TO_DMAP(efi_fb_info.paddr);
efi_fb_info.vaddr == PHYS_TO_DMAP(efi_fb_info.paddr)))
pdp = (uint64_t *)PHYS_TO_DMAP(KPDPphys);
pd = (uint64_t *)PHYS_TO_DMAP(pdp[i] & PG_FRAME);
pt = (uint64_t *)PHYS_TO_DMAP(pd[j] & PG_FRAME);
pdp = (uint64_t *)PHYS_TO_DMAP(KPDPphys);
ptp = (void *)PHYS_TO_DMAP(pte & ~(pt_entry_t)PAGE_MASK);
daddr = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(pages[i]));
vm_offset_t va = PHYS_TO_DMAP(phys);
vm_offset_t virt = PHYS_TO_DMAP(phys);
src_virt = PHYS_TO_DMAP(src);
dst_virt = PHYS_TO_DMAP(dst);
src_virt = PHYS_TO_DMAP(src);
dst_virt = PHYS_TO_DMAP(dst);
pmap_change_attr(PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m)), 1, m->pat_mode);
pd = (pd_entry_t *)PHYS_TO_DMAP(DMPDphys);
pte = (pt_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(pv->pv_m));
pd = (pdp_entry_t *)PHYS_TO_DMAP(pdp_pte & PG_FRAME);
pt = (pd_entry_t *)PHYS_TO_DMAP(pd_pte & PG_FRAME);
pte = (pt_entry_t *)PHYS_TO_DMAP(pt_pte & PG_FRAME);
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
kva = PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));
pml4 = (pml4_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m4));
pdp = (pdp_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m3));
pd = (pd_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m2));
pmap, p, (void *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(p)),
ptep = (void *)PHYS_TO_DMAP(pm->phys_addr);
ptep = (void *)PHYS_TO_DMAP(pm->phys_addr);
pte = (void *)PHYS_TO_DMAP(mpte->phys_addr);
pdpe = (pdp_entry_t *)PHYS_TO_DMAP(*pml4e & VPTE_FRAME);
pde = (pd_entry_t *)PHYS_TO_DMAP(*pdpe & VPTE_FRAME);
vm_offset_t va = PHYS_TO_DMAP(phys);
vm_offset_t virt = PHYS_TO_DMAP(phys);
src_virt = PHYS_TO_DMAP(src);
dst_virt = PHYS_TO_DMAP(dst);
src_virt = PHYS_TO_DMAP(src);
dst_virt = PHYS_TO_DMAP(dst);
pte = (pt_entry_t *)PHYS_TO_DMAP(*pde & VPTE_FRAME);
KPML4virt = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys);
KPDPvirt = (pdp_entry_t *)PHYS_TO_DMAP(KPDPphys);
KPDvirt = (pd_entry_t *)PHYS_TO_DMAP(KPDphys);
KPTvirt = (pt_entry_t *)PHYS_TO_DMAP(KPTphys);
kernel_pmap->pm_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys);
return PHYS_TO_DMAP(start);
#ifdef PHYS_TO_DMAP
char *p = (char *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m));