Symbol: arch_mmu_is_kernel_address
src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp
215
if (arch_mmu_is_kernel_address(virt_addr)) {
src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp
224
if (arch_mmu_is_kernel_address(virt_addr)) {