| 207 | WRITE_WB_REG_CASE(op2, 15, val) |
| 208 | |
| 209 | static uint32_t |
| 210 | dbg_wb_read_reg(int reg, int n) |
| 211 | { |
| 212 | uint32_t val; |
| 213 | |
| 214 | val = 0; |
| 215 | |
| 216 | switch (reg + n) { |
| 217 | SWITCH_CASES_READ_WB_REG(DBG_WB_WVR, val); |
| 218 | SWITCH_CASES_READ_WB_REG(DBG_WB_WCR, val); |
| 219 | SWITCH_CASES_READ_WB_REG(DBG_WB_BVR, val); |
| 220 | SWITCH_CASES_READ_WB_REG(DBG_WB_BCR, val); |
| 221 | default: |
| 222 | db_printf( |
| 223 | "trying to read from CP14 reg. using wrong opc2 %d\n", |
| 224 | reg >> OP2_SHIFT); |
| 225 | } |
| 226 | |
| 227 | return (val); |
| 228 | } |
| 229 | |
| 230 | static void |
| 231 | dbg_wb_write_reg(int reg, int n, uint32_t val) |
no test coverage detected