headers/private/kernel/boot/addr_range.h

34

status_t insert_physical_memory_range(uint64 start, uint64 size);

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

723

status_t status = insert_physical_memory_range(base, end - base);

src/system/boot/platform/efi/arch/generic/generic_mmu.cpp

43

insert_physical_memory_range(base, size);

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

107

insert_physical_memory_range(base, size);

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

127

if (insert_physical_memory_range((addr_t)regions[i].base,

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

157

if (insert_physical_memory_range((addr_t)regions[i].base,

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

121

if (insert_physical_memory_range((addr_t)regions[i].base,

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

425

insert_physical_memory_range((addr_t)gMemBase, gTotalMem);

src/system/boot/platform/u-boot/arch/ppc/arch_mmu.cpp

243

if (insert_physical_memory_range((addr_t)regions[i].base,

src/system/boot/platform/u-boot/arch/ppc/arch_mmu.cpp

273

if (insert_physical_memory_range((addr_t)regions[i].base,