MIPS_KSEG0_P
if (MIPS_KSEG0_P(va)) {
KASSERT(MIPS_KSEG0_P(load_addr));
KASSERT(MIPS_KSEG0_P(gbuf));
KASSERT(MIPS_KSEG0_P(load_addr));
if (MIPS_KSEG0_P(kva) || MIPS_KSEG1_P(kva))
if (MIPS_KSEG0_P(curaddr + sgsize - 1)) {
KASSERT(!(MIPS_KSEG0_P(va) || MIPS_KSEG1_P(va)));
handle_is_km = !(MIPS_KSEG0_P(h) || MIPS_KSEG1_P(h));
if (MIPS_KSEG0_P(h))
if (MIPS_KSEG0_P(bsh) || MIPS_KSEG1_P(bsh) || MIPS_KSEG2_P(bsh))
KASSERT(MIPS_KSEG0_P(ti) || MIPS_XKPHYS_P(ti));
KASSERT(MIPS_KSEG0_P(ti));
KASSERT(MIPS_KSEG0_P(load_addr));
KASSERT(MIPS_KSEG0_P(start));
KASSERT(MIPS_KSEG0_P(end));
if (MIPS_KSEG0_P(pa)) {
if (MIPS_KSEG0_P(v) && v < (vaddr_t)end) {
KASSERT(MIPS_KSEG0_P(va));
CTASSERT(MIPS_KSEG0_P(MIPS_PHYS_TO_KSEG0(0)));
return MIPS_KSEG0_P(va);
if (MIPS_KSEG0_P(va)) {
if (!MIPS_KSEG0_P(va))
if (MIPS_KSEG0_P(kva))
KASSERT(MIPS_KSEG0_P(sp));
KASSERT(MIPS_KSEG0_P(ci));
KASSERT(MIPS_KSEG0_P(ta));