HelenOS sources

KM_ARM32_NON_IDENTITY_START   48 kernel/arch/arm32/src/mm/km.c 	km_non_identity_span_add(KM_ARM32_NON_IDENTITY_START,
KM_ARM32_NON_IDENTITY_START   54 kernel/arch/arm32/src/mm/km.c 	return iswithin(KM_ARM32_NON_IDENTITY_START,