Symbol: platform_assign_kernel_address_for_region
src/system/boot/platform/efi/arch/arm/arch_mmu.cpp
248
if (platform_assign_kernel_address_for_region(vectorTable, (addr_t)sVectorTable) != B_OK)
src/system/boot/platform/efi/arch/arm/arch_start.cpp
63
if (platform_assign_kernel_address_for_region(trampolinePage,
src/system/boot/platform/efi/arch/arm/arch_start.cpp
74
if (platform_assign_kernel_address_for_region(trampolinePage,
src/system/boot/platform/efi/mmu.h
44
extern status_t platform_assign_kernel_address_for_region(void *address, addr_t assign);