Symbol: _arch_mmu_set_sctlr
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
17
_arch_mmu_set_sctlr(sctlr);
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
31
_arch_mmu_set_sctlr(sctlr);