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

/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_cache.cpp15 uint64 sctlr = _arch_mmu_get_sctlr();
30 uint64 sctlr = _arch_mmu_get_sctlr();
H A Daarch64.h118 static inline uint64 _arch_mmu_get_sctlr() function
153 return _arch_mmu_get_sctlr() & SCTLR_M;
159 return _arch_mmu_get_sctlr() & SCTLR_C;
H A Darch_start.cpp109 arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(),

Completed in 88 milliseconds