arch_mmu_base_register - Haiku

Symbol: arch_mmu_base_register

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

uint64 address = arch_mmu_base_register();

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(),