MIPS_XKPHYS_TO_PHYS
*pa = MIPS_XKPHYS_TO_PHYS(va);
MIPS_XKPHYS_TO_PHYS(gbuf));
addr = MIPS_XKPHYS_TO_PHYS(h);
addr = MIPS_XKPHYS_TO_PHYS(h);
return MIPS_XKPHYS_TO_PHYS(va);
return MIPS_XKPHYS_TO_PHYS(va);
return MIPS_XKPHYS_TO_PHYS(kva);
KASSERT((MIPS_XKPHYS_TO_PHYS(sp) >> 32) == 0);