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