MIPS_PHYS_TO_XKPHYS_CACHED
addr = MIPS_PHYS_TO_XKPHYS_CACHED(word3 & PIP_WQE_WORD3_ADDR);
cmdptr = (uint64_t *)MIPS_PHYS_TO_XKPHYS_CACHED(sc->sc_cmdptr.cmdptr);
gbuf = (uint64_t *)(uintptr_t)MIPS_PHYS_TO_XKPHYS_CACHED(gaddr);
return (uint64_t *)MIPS_PHYS_TO_XKPHYS_CACHED(addr);
*kvap = (void *)MIPS_PHYS_TO_XKPHYS_CACHED(
MIPS_PHYS_TO_XKPHYS_CACHED(curaddr);
kva = (void *)MIPS_PHYS_TO_XKPHYS_CACHED(
*hp = MIPS_PHYS_TO_XKPHYS_CACHED(addr);
*bshp = MIPS_PHYS_TO_XKPHYS_CACHED(mbst.mbst_sys_start +
maddr_va = (void *)MIPS_PHYS_TO_XKPHYS_CACHED(maddr);
msgbufaddr = (void *) MIPS_PHYS_TO_XKPHYS_CACHED(ptoa(end));
*vap = MIPS_PHYS_TO_XKPHYS_CACHED(pa);
if (v < MIPS_PHYS_TO_XKPHYS_CACHED(0)) {
if (v < MIPS_PHYS_TO_XKPHYS_CACHED(pmap_limits.avail_end +
return MIPS_PHYS_TO_XKPHYS_CACHED(pa);
va = MIPS_PHYS_TO_XKPHYS_CACHED(pa);
MIPS_PHYS_TO_XKPHYS_CACHED(pa);