headers/private/kernel/arch/arm/arch_kernel_args.h

34

addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

headers/private/kernel/arch/arm64/arch_kernel_args.h

29

addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

headers/private/kernel/arch/ppc/arch_kernel_args.h

31

addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

headers/private/kernel/arch/riscv64/arch_kernel_args.h

36

addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

headers/private/kernel/arch/sparc/arch_kernel_args.h

30

addr_range virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];

src/system/boot/platform/efi/arch/arm/arch_mmu.cpp

133

MAX_VIRTUAL_RANGES_TO_KEEP, start, size);

src/system/boot/platform/efi/arch/riscv64/arch_mmu.cpp

215

MAX_VIRTUAL_RANGES_TO_KEEP, start, size);

src/system/boot/platform/openfirmware/arch/ppc/mmu.cpp

63

MAX_VIRTUAL_RANGES_TO_KEEP, (addr_t)start, size);

src/system/boot/platform/openfirmware/arch/ppc/mmu.cpp

72

MAX_VIRTUAL_RANGES_TO_KEEP, (addr_t)start, size);

src/system/boot/platform/openfirmware/arch/sparc/mmu.cpp

58

MAX_VIRTUAL_RANGES_TO_KEEP, (addr_t)start, size);

src/system/boot/platform/openfirmware/arch/sparc/mmu.cpp

67

MAX_VIRTUAL_RANGES_TO_KEEP, (addr_t)start, size);

src/system/boot/platform/riscv/mmu.cpp

214

>= MAX_VIRTUAL_RANGES_TO_KEEP)