Symbol: platform_allocate_region_below
src/system/boot/platform/efi/arch/arm/arch_start.cpp
61
if (platform_allocate_region_below(&trampolinePage, B_PAGE_SIZE,
src/system/boot/platform/efi/arch/x86_64/arch_mmu.cpp
205
if (platform_allocate_region_below((void**)&pml4, B_PAGE_SIZE, UINT32_MAX) != B_OK)
src/system/boot/platform/efi/mmu.h
52
extern status_t platform_allocate_region_below(void **_address,