KM_IA64_NON_IDENTITY_START 47 kernel/arch/ia64/src/mm/km.c km_non_identity_span_add(KM_IA64_NON_IDENTITY_START, KM_IA64_NON_IDENTITY_START 53 kernel/arch/ia64/src/mm/km.c return iswithin(KM_IA64_NON_IDENTITY_START, KM_IA64_NON_IDENTITY_SIZE,HelenOS homepage, sources at GitHub