HelenOS sources
KERNEL_SEPARATE_PTL0_ARCH 39 kernel/arch/abs32le/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 42 kernel/arch/amd64/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 40 kernel/arch/arm32/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 40 kernel/arch/arm64/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 1
KERNEL_SEPARATE_PTL0_ARCH 39 kernel/arch/ia32/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 39 kernel/arch/ia64/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 39 kernel/arch/mips32/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 41 kernel/arch/ppc32/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 42 kernel/arch/riscv64/include/arch/mm/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 41 kernel/arch/sparc64/include/arch/mm/sun4u/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
KERNEL_SEPARATE_PTL0_ARCH 43 kernel/arch/sparc64/include/arch/mm/sun4v/as.h #define KERNEL_SEPARATE_PTL0_ARCH 0
HelenOS homepage, sources at GitHub