Searched refs:_arch_mmu_set_sctlr (Results 1 - 2 of 2) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_cache.cpp17 _arch_mmu_set_sctlr(sctlr);
32 _arch_mmu_set_sctlr(sctlr);
H A Daarch64.h134 static inline void _arch_mmu_set_sctlr(uint64 sctlr) function

Completed in 78 milliseconds