MIPS_KSEG1_P
if (MIPS_KSEG1_P(va)) {
if (MIPS_KSEG0_P(kva) || MIPS_KSEG1_P(kva))
else if (MIPS_KSEG1_P(buf))
KASSERT(!(MIPS_KSEG0_P(va) || MIPS_KSEG1_P(va)));
handle_is_km = !(MIPS_KSEG0_P(h) || MIPS_KSEG1_P(h));
if (MIPS_KSEG0_P(bsh) || MIPS_KSEG1_P(bsh) || MIPS_KSEG2_P(bsh))
CTASSERT(MIPS_KSEG1_P(MIPS_PHYS_TO_KSEG1(0)));
return MIPS_KSEG1_P(va);
if (MIPS_KSEG1_P(kva))
KASSERT(MIPS_KSEG1_P(buf->pages[0].kaddr));
KASSERT((page != 0) ^ MIPS_KSEG1_P(buf->pages[page].kaddr));