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