Lines Matching refs:READ_SPECIALREG
190 KASSERT((READ_SPECIALREG(daif) & PSR_D) == PSR_D,
194 WRITE_SPECIALREG(mdscr_el1, READ_SPECIALREG(mdscr_el1) |
204 READ_SPECIALREG(mdscr_el1) & ~DBG_MDSCR_MDE);
212 KASSERT((READ_SPECIALREG(daif) & PSR_D) == PSR_D,
215 WRITE_SPECIALREG(mdscr_el1, READ_SPECIALREG(mdscr_el1) &
221 READ_SPECIALREG(mdscr_el1) | DBG_MDSCR_MDE);
225 READ_SPECIALREG(mdscr_el1) | DBG_MDSCR_KDE);
484 mdscr = READ_SPECIALREG(mdscr_el1);
515 dbg_watchpoint_num = ((READ_SPECIALREG(id_aa64dfr0_el1) >> 20) & 0xf) + 1;
516 dbg_breakpoint_num = ((READ_SPECIALREG(id_aa64dfr0_el1) >> 12) & 0xf) + 1;
565 READ_SPECIALREG(mdscr_el1) &
599 READ_SPECIALREG(mdscr_el1) &