Searched refs:MDCCINT_EL1 (Results 1 – 3 of 3) sorted by relevance
148 ctxt->sys_regs[MDCCINT_EL1] = read_sysreg(mdccint_el1); in __debug_save_state()168 write_sysreg(ctxt->sys_regs[MDCCINT_EL1], mdccint_el1); in __debug_restore_state()
135 MDCCINT_EL1, /* Monitor Debug Comms Channel Interrupt Enable Reg */ enumerator212 #define cp14_DBGDCCINT (MDCCINT_EL1 * 2)
1388 { SYS_DESC(SYS_MDCCINT_EL1), trap_debug_regs, reset_val, MDCCINT_EL1, 0 },