Searched refs:_arch_mmu_get_sctlr (Results 1 – 3 of 3) sorted by relevance
15 uint64 sctlr = _arch_mmu_get_sctlr(); in arch_cache_disable()29 uint64 sctlr = _arch_mmu_get_sctlr(); in arch_cache_enable()
118 static inline uint64 _arch_mmu_get_sctlr() in _arch_mmu_get_sctlr() function153 return _arch_mmu_get_sctlr() & SCTLR_M; in arch_mmu_enabled()159 return _arch_mmu_get_sctlr() & SCTLR_C; in arch_mmu_cache_enabled()
109 arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(), in arch_start_kernel()