Symbol: _arch_mmu_get_sctlr
src/system/boot/platform/efi/arch/arm64/aarch64.h
155
return _arch_mmu_get_sctlr() & SCTLR_M;
src/system/boot/platform/efi/arch/arm64/aarch64.h
161
return _arch_mmu_get_sctlr() & SCTLR_C;
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
15
uint64 sctlr = _arch_mmu_get_sctlr();
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
29
uint64 sctlr = _arch_mmu_get_sctlr();
src/system/boot/platform/efi/arch/arm64/arch_start.cpp
151
arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(),