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 |
|
} |
|
/** @} |