Searched refs:arch_mmu_base_register (Results 1 - 3 of 3) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_start.cpp109 arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(),
H A Daarch64.h90 static inline uint64 arch_mmu_base_register(bool kernel = false) function
H A Darch_mmu.cpp101 uint64 address = arch_mmu_base_register();

Completed in 42 milliseconds