| /branches/tracing/kernel/arch/mips32/src/exception.c |
|---|
| 48,6 → 48,7 |
| #include <console/kconsole.h> |
| #include <ddi/irq.h> |
| #include <arch/debugger.h> |
| #include <udebug/udebug.h> |
| static char * exctable[] = { |
| "Interrupt", |
| 107,11 → 108,13 |
| static void breakpoint_exception(int n, istate_t *istate) |
| { |
| #ifdef CONFIG_UDEBUG |
| if (istate_from_uspace(istate)) { |
| /* userspace breakpoint */ |
| udebug_breakpoint_event(0); |
| return; |
| } |
| #endif |
| #ifdef CONFIG_DEBUG |
| debugger_bpoint(istate); |