HelenOS sources

KM_IA32_NON_IDENTITY_START   47 kernel/arch/ia32/src/mm/km.c 	km_non_identity_span_add(KM_IA32_NON_IDENTITY_START,
KM_IA32_NON_IDENTITY_START   53 kernel/arch/ia32/src/mm/km.c 	return iswithin(KM_IA32_NON_IDENTITY_START, KM_IA32_NON_IDENTITY_SIZE,