PHYS_TO_DMAP
memcpy((void *)PHYS_TO_DMAP(pa), config, size);
memcpy((void *)PHYS_TO_DMAP(pa),
vp1 = (struct pmapvp1 *) PHYS_TO_DMAP(pt1pa);
vp2 = (struct pmapvp2 *)PHYS_TO_DMAP(pa);
vp3 = (struct pmapvp3 *)PHYS_TO_DMAP(pa);
vp2 = (void *)PHYS_TO_DMAP((long)vp1->vp[i] + kvo);
vp3 = (void *)PHYS_TO_DMAP((long)vp2->vp[j] + kvo);
vaddr_t start_dmap = PHYS_TO_DMAP(start);