ID_MMFR1_EL1      364 arch/arm64/kernel/cpuinfo.c 		info->reg_id_mmfr1 = read_cpuid(ID_MMFR1_EL1);
ID_MMFR1_EL1     1421 arch/arm64/kvm/sys_regs.c 	ID_SANITISED(ID_MMFR1_EL1),