PHYS_TO_DMAP
amdvi_free_ptp((uint64_t *)PHYS_TO_DMAP(ptp[i]
pt = (uint64_t *)PHYS_TO_DMAP(pa);
cmd = (struct amdvi_cmd *)PHYS_TO_DMAP(evt->addr);
softc->ctrl = (struct amdvi_ctrl *) PHYS_TO_DMAP(ivhd->BaseAddress);
vtdmaps[units] = (struct vtdmap *)PHYS_TO_DMAP(mapaddr);
vtdmaps[units] = (struct vtdmap *)PHYS_TO_DMAP(drhd->Address);
ptp = (uint64_t *)PHYS_TO_DMAP(ptp[ptpindex] & VTD_PTE_ADDR_M);
nlp = (uint64_t *)PHYS_TO_DMAP(ptp[i] & VTD_PTE_ADDR_M);
(mod_hash_key_t)PHYS_TO_DMAP(vtophys(p)), (mod_hash_val_t)i) == 0);
(mod_hash_key_t)PHYS_TO_DMAP(vtophys(addr))) == 0);