HelenOS sources

KM_MIPS32_KSSEG_SIZE   47 kernel/arch/mips32/src/mm/km.c 	km_non_identity_span_add(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE);
KM_MIPS32_KSSEG_SIZE   53 kernel/arch/mips32/src/mm/km.c 	return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1) ||