HelenOS sources

KM_MIPS32_KSEG3_SIZE   48 kernel/arch/mips32/src/mm/km.c 	km_non_identity_span_add(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE);
KM_MIPS32_KSEG3_SIZE   54 kernel/arch/mips32/src/mm/km.c 	    iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);