| 193,6 → 193,8 |
|---|
| } |
| } |
| |
| #ifdef CONFIG_UDEBUG |
| |
| /** Check whether the abort was caused by a bkpt instruction. |
| * |
| * This must be called after (possibly) fetching the faulting page. |
| 208,8 → 210,10 |
|---|
| |
| if ((opcode & 0xfff000f0) == 0xe1200070) { |
| /* Bkpt */ |
| |
| if (istate_from_uspace(istate)) { |
| udebug_breakpoint_event(0); |
| return; |
| } else { |
| panic("Unexpected BKPT instruction at 0x%x", |
| istate->pc); |
| 217,6 → 221,8 |
|---|
| } |
| } |
| |
| #endif |
| |
| /** Handles "prefetch abort" exception (instruction couldn't be executed). |
| * |
| * @param exc_no Exception number. |
| 233,8 → 239,13 |
|---|
| istate->pc); |
| } |
| |
| #ifdef CONFIG_UDEBUG |
| /* Now check if the abort was caused by a breakpoint instruction */ |
| bkpt_check(istate); |
| #else |
| panic("Unexpected BKPT instruction at 0x%x", istate->pc); |
| #endif |
| |
| } |
| |
| /** @} |