Symbol: arch_mmu_setup_EL1
src/system/boot/platform/efi/arch/arm64/arch_start.cpp
23
extern void arch_mmu_setup_EL1(uint64 tcr);
src/system/boot/platform/efi/arch/arm64/arch_start.cpp
66
arch_mmu_setup_EL1(READ_SPECIALREG(TCR_EL1));
src/system/boot/platform/efi/arch/arm64/arch_start.cpp
69
arch_mmu_setup_EL1(READ_SPECIALREG(TCR_EL2));