HelenOS sources

KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   38 kernel/arch/abs32le/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   41 kernel/arch/amd64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   39 kernel/arch/arm32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   39 kernel/arch/arm64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   38 kernel/arch/ia32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   38 kernel/arch/ia64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   38 kernel/arch/mips32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   40 kernel/arch/ppc32/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   41 kernel/arch/riscv64/include/arch/mm/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   40 kernel/arch/sparc64/include/arch/mm/sun4u/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  1
KERNEL_ADDRESS_SPACE_SHADOWED_ARCH   42 kernel/arch/sparc64/include/arch/mm/sun4v/as.h #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  1