KM_SPARC64_US_NON_IDENTITY_START 47 kernel/arch/sparc64/src/mm/sun4u/km.c km_non_identity_span_add(KM_SPARC64_US_NON_IDENTITY_START, KM_SPARC64_US_NON_IDENTITY_START 53 kernel/arch/sparc64/src/mm/sun4u/km.c return iswithin(KM_SPARC64_US_NON_IDENTITY_START,HelenOS homepage, sources at GitHub