| 228 | } |
| 229 | |
| 230 | static void |
| 231 | dbg_wb_write_reg(int reg, int n, uint32_t val) |
| 232 | { |
| 233 | |
| 234 | switch (reg + n) { |
| 235 | SWITCH_CASES_WRITE_WB_REG(DBG_WB_WVR, val); |
| 236 | SWITCH_CASES_WRITE_WB_REG(DBG_WB_WCR, val); |
| 237 | SWITCH_CASES_WRITE_WB_REG(DBG_WB_BVR, val); |
| 238 | SWITCH_CASES_WRITE_WB_REG(DBG_WB_BCR, val); |
| 239 | default: |
| 240 | db_printf( |
| 241 | "trying to write to CP14 reg. using wrong opc2 %d\n", |
| 242 | reg >> OP2_SHIFT); |
| 243 | } |
| 244 | isb(); |
| 245 | } |
| 246 | |
| 247 | static __inline boolean_t |
| 248 | dbg_capable(void) |
no test coverage detected