mdccint_el1       148 arch/arm64/kvm/hyp/debug-sr.c 	ctxt->sys_regs[MDCCINT_EL1] = read_sysreg(mdccint_el1);
mdccint_el1       168 arch/arm64/kvm/hyp/debug-sr.c 	write_sysreg(ctxt->sys_regs[MDCCINT_EL1], mdccint_el1);