MDCCINT_EL1       211 arch/arm64/include/asm/kvm_host.h #define cp14_DBGDCCINT	(MDCCINT_EL1 * 2)
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);
MDCCINT_EL1      1374 arch/arm64/kvm/sys_regs.c 	{ SYS_DESC(SYS_MDCCINT_EL1), trap_debug_regs, reset_val, MDCCINT_EL1, 0 },