HelenOS sources
km_non_identity_span_add 47 kernel/arch/amd64/src/mm/km.c km_non_identity_span_add(KM_AMD64_NON_IDENTITY_START,
km_non_identity_span_add 48 kernel/arch/arm32/src/mm/km.c km_non_identity_span_add(KM_ARM32_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/arm64/src/mm/km.c km_non_identity_span_add(KM_ARM64_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/ia32/src/mm/km.c km_non_identity_span_add(KM_IA32_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/ia64/src/mm/km.c km_non_identity_span_add(KM_IA64_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/mips32/src/mm/km.c km_non_identity_span_add(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE);
km_non_identity_span_add 48 kernel/arch/mips32/src/mm/km.c km_non_identity_span_add(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE);
km_non_identity_span_add 47 kernel/arch/ppc32/src/mm/km.c km_non_identity_span_add(KM_PPC32_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/riscv64/src/mm/km.c km_non_identity_span_add(KM_RISCV64_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/sparc64/src/mm/sun4u/km.c km_non_identity_span_add(KM_SPARC64_US_NON_IDENTITY_START,
km_non_identity_span_add 47 kernel/arch/sparc64/src/mm/sun4v/km.c km_non_identity_span_add(KM_SPARC64_T1_NON_IDENTITY_START,
km_non_identity_span_add 46 kernel/generic/include/mm/km.h extern void km_non_identity_span_add(uintptr_t, size_t);
HelenOS homepage, sources at GitHub