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 },