MIPS_XKPHYS_P
if (MIPS_XKPHYS_P(va)) {
KASSERT(MIPS_XKPHYS_P(arg3));
if (MIPS_XKPHYS_P((vaddr_t)kva))
else if (MIPS_XKPHYS_P((vaddr_t)buf) &&
handle_is_km = !MIPS_XKPHYS_P(h);
KASSERT(MIPS_XKPHYS_P(h));
else if (MIPS_XKPHYS_P(h))
KASSERT(MIPS_KSEG0_P(ti) || MIPS_XKPHYS_P(ti));
if (MIPS_XKPHYS_P(va))
if (MIPS_XKPHYS_P(va))
if (MIPS_XKPHYS_P(va)) {
if (MIPS_XKPHYS_P(va)) {
if (!MIPS_XKPHYS_P(va))
if (MIPS_XKPHYS_P(kva))
KASSERT(MIPS_XKPHYS_P(sp));