Searched refs:MDCCINT_EL1 (Results 1 – 3 of 3) sorted by relevance
87 ctxt->sys_regs[MDCCINT_EL1] = read_sysreg(mdccint_el1); in __debug_save_state()110 write_sysreg(ctxt->sys_regs[MDCCINT_EL1], mdccint_el1); in __debug_restore_state()
123 MDCCINT_EL1, /* Monitor Debug Comms Channel Interrupt Enable Reg */ enumerator186 #define cp14_DBGDCCINT (MDCCINT_EL1 * 2)
849 trap_debug_regs, reset_val, MDCCINT_EL1, 0 },