MIPS_KSEG1         57 kern/arch/sys161/include/bus.h #define LB_BASEADDR  (MIPS_KSEG1 + 0x1fe00000)
MIPS_KSEG1        240 kern/vm/kmalloc.c 		KASSERT(fla < MIPS_KSEG1);