/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); |