Searched refs:MDCCINT_EL1 (Results 1 – 3 of 3) sorted by relevance
106 ctxt_sys_reg(ctxt, MDCCINT_EL1) = read_sysreg(mdccint_el1); in __debug_save_state()125 write_sysreg(ctxt_sys_reg(ctxt, MDCCINT_EL1), mdccint_el1); in __debug_restore_state()
157 MDCCINT_EL1, /* Monitor Debug Comms Channel Interrupt Enable Reg */ enumerator243 #define cp14_DBGDCCINT (MDCCINT_EL1 * 2)
1420 { SYS_DESC(SYS_MDCCINT_EL1), trap_debug_regs, reset_val, MDCCINT_EL1, 0 },
