Symbol: arch_mmu_cache_enabled
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
14
if (arch_mmu_cache_enabled()) {
src/system/boot/platform/efi/arch/arm64/arch_cache.cpp
28
if (!arch_mmu_cache_enabled()) {