PMAP_DIRECT_MAP
KGETPT_VA(PMAP_DIRECT_MAP(addr), level)
hdr = smbios_find(PMAP_DIRECT_MAP(
vaddr = PMAP_DIRECT_MAP(paddr);
*kvap = (caddr_t)PMAP_DIRECT_MAP(segs[0].ds_addr);
*bshp = (bus_space_handle_t)PMAP_DIRECT_MAP(bpa);
cbh = (struct cb_header *)(PMAP_DIRECT_MAP(addr + i));
cbtable = PMAP_DIRECT_MAP(addr + i + cbh->header_bytes);
memcpy(va, (void *)PMAP_DIRECT_MAP(maddr), n);
va = (void *)PMAP_DIRECT_MAP(maddr);
mmap = (EFI_MEMORY_DESCRIPTOR *)PMAP_DIRECT_MAP(first_avail);
memcpy(mmap, (void *)PMAP_DIRECT_MAP(bios_efiinfo->mmap_start),
dumpmem_vaddr = PMAP_DIRECT_MAP(dumpmem_paddr);
msgbuf_vaddr = PMAP_DIRECT_MAP(msgbuf_paddr);
v = PMAP_DIRECT_MAP(uio->uio_offset);
old_pd_va = PMAP_DIRECT_MAP(old_pd_pa);
memset((void *)PMAP_DIRECT_MAP(newp), 0, PAGE_SIZE);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
pd3 = (pd_entry_t *)PMAP_DIRECT_MAP(npa3);
pd2 = (pd_entry_t *)PMAP_DIRECT_MAP(npa2);
pd1 = (pd_entry_t *)PMAP_DIRECT_MAP(npa1);
pptes = (pd_entry_t *)PMAP_DIRECT_MAP(npa2);
pptes = (pd_entry_t *)PMAP_DIRECT_MAP(npa3);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
pd = (pd_entry_t *)PMAP_DIRECT_MAP(npa);
va = PMAP_DIRECT_MAP(pa);
*pd = (pd_entry_t *)PMAP_DIRECT_MAP(pdpa);
pte = (pt_entry_t *)PMAP_DIRECT_MAP(early_pte_pages);
pte = (pt_entry_t *)PMAP_DIRECT_MAP(early_pte_pages + NBPG);
pte = (pt_entry_t *)PMAP_DIRECT_MAP(early_pte_pages);
memset((void *)PMAP_DIRECT_MAP(dmpd), 0, ndmpdp * PAGE_SIZE);
va = PMAP_DIRECT_MAP(pdp);
va = PMAP_DIRECT_MAP(pdp);
pml3 = (pt_entry_t *)PMAP_DIRECT_MAP(dmpd);
pml2 = (pt_entry_t *)PMAP_DIRECT_MAP(dmpd);
memcpy(cpu_ucode_data, (void *)PMAP_DIRECT_MAP(bios_ucode->uc_addr),
hva = (uint64_t *)PMAP_DIRECT_MAP(hpa);
vcpu->vc_svm_ghcb_va = (vaddr_t)PMAP_DIRECT_MAP(ghcb_hpa);
pvclock_ti = (void*) PMAP_DIRECT_MAP(pvclock_hpa);
pvclock_wc = (void*) PMAP_DIRECT_MAP(hpa);
pmap_flush_cache(PMAP_DIRECT_MAP(paddr), PAGE_SIZE); \
#define pmap_map_direct(pg) PMAP_DIRECT_MAP(VM_PAGE_TO_PHYS(pg))
memcpy(va, (void *)PMAP_DIRECT_MAP(maddr), n);
va = (void *)PMAP_DIRECT_MAP(maddr);
npte = (void *)PMAP_DIRECT_MAP((pte[i].val & PTE_PADDR_MASK));
pte = (void *)PMAP_DIRECT_MAP(ptep);
npte = (void *)PMAP_DIRECT_MAP((val & VTD_PTE_MASK));
npte = (void *)PMAP_DIRECT_MAP((val & VTD_PTE_MASK));
return (void *)PMAP_DIRECT_MAP((val & PTE_PADDR_MASK));