PMAP_DIRECT_MAP
vaddr_t va = PMAP_DIRECT_MAP(pa);
#define PMAP_MAP_POOLPAGE(pa) PMAP_DIRECT_MAP(pa)
*vaddr = PMAP_DIRECT_MAP(paddr);
vaddr_t va = PMAP_DIRECT_MAP(pa);
return PMAP_DIRECT_MAP(pa);
#ifdef PMAP_DIRECT_MAP
return PMAP_DIRECT_MAP(pa);
#ifdef PMAP_DIRECT_MAP
memset((void *)PMAP_DIRECT_MAP(pa), 0, PAGE_SIZE);
#ifdef PMAP_DIRECT_MAP
memcpy((void *)PMAP_DIRECT_MAP(dst), (const void *)PMAP_DIRECT_MAP(src),
pd_entry_t *pdp = (void *)PMAP_DIRECT_MAP(pdp_pa);
#define PMAP_MAP_POOLPAGE(pa) PMAP_DIRECT_MAP((pa))
memset(PAGE_ALIGNED(PMAP_DIRECT_MAP(pa)), 0, PAGE_SIZE);
vaddr_t srcva = PMAP_DIRECT_MAP(srcpa);
vaddr_t dstva = PMAP_DIRECT_MAP(dstpa);
return (void *)PMAP_DIRECT_MAP(VM_PAGE_TO_PHYS(ptp));
memset(PAGE_ALIGNED(PMAP_DIRECT_MAP(pa)), 0, PAGE_SIZE);
pteva = (pt_entry_t *)PMAP_DIRECT_MAP(ptepa);
pteva = (pt_entry_t *)PMAP_DIRECT_MAP(ptepa);
ptes = (pt_entry_t *)PMAP_DIRECT_MAP(VM_PAGE_TO_PHYS(ptp));
pteva = (pt_entry_t *)PMAP_DIRECT_MAP(ptepa);
ptes = (pt_entry_t *)PMAP_DIRECT_MAP(ptppa);
ptes = (pt_entry_t *)PMAP_DIRECT_MAP(ptppa);
ptes = (pt_entry_t *)PMAP_DIRECT_MAP(ptppa);
ptes = (pt_entry_t *)PMAP_DIRECT_MAP(ptppa);
dstpde = (pd_entry_t *)PMAP_DIRECT_MAP(pa);
(void *)PMAP_DIRECT_MAP((uintptr_t)bi->base),
(void *)PMAP_DIRECT_MAP((uintptr_t)bi->base),
(void *)PMAP_DIRECT_MAP((uintptr_t)bi->base),
(void *)PMAP_DIRECT_MAP((uintptr_t)bi->base),