Searched refs:MDCCINT_EL1 (Results 1 – 2 of 2) 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()
56 Sysreg MDCCINT_EL1 2 0 0 2 0