Rev 3431 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3431 | Rev 3432 | ||
|---|---|---|---|
| Line 211... | Line 211... | ||
| 211 | if ((opcode & 0xfff000f0) == 0xe1200070) { |
211 | if ((opcode & 0xfff000f0) == 0xe1200070) { |
| 212 | /* Bkpt */ |
212 | /* Bkpt */ |
| 213 | 213 | ||
| 214 | if (istate_from_uspace(istate)) { |
214 | if (istate_from_uspace(istate)) { |
| 215 | udebug_breakpoint_event(0); |
215 | udebug_breakpoint_event(0); |
| 216 | return; |
- | |
| 217 | } else { |
216 | } else { |
| 218 | panic("Unexpected BKPT instruction at 0x%x", |
217 | panic("Unexpected BKPT instruction at 0x%x", |
| 219 | istate->pc); |
218 | istate->pc); |
| 220 | } |
219 | } |
| 221 | } |
220 | } |