Searched defs: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(); local
30 uint64 sctlr = _arch_mmu_get_sctlr(); local
H A Daarch64.h134 static inline void _arch_mmu_set_sctlr(uint64 sctlr) argument
/haiku/src/system/kernel/arch/arm64/
H A Darch_vm_translation_map.cpp54 uint64_t sctlr = READ_SPECIALREG(SCTLR_EL1); local

Completed in 46 milliseconds