| 219 | } |
| 220 | |
| 221 | void debug_inst_fetch(void) { |
| 222 | uint32_t pc = cpu.registers.PC; |
| 223 | debug.addr[pc] |= DBG_INST_MARKER; |
| 224 | if (debug.addr[pc] & DBG_MASK_EXEC) { |
| 225 | debug_open(DBG_BREAKPOINT, pc); |
| 226 | } else if (pc == debug.tempExec) { |
| 227 | debug_open(DBG_STEP, pc); |
| 228 | } |
| 229 | } |
| 230 | |
| 231 | void debug_inst_repeat(void) { |
| 232 | if (debug.step) { |
no test coverage detected