Rev 3424 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3424 | Rev 3431 | ||
|---|---|---|---|
| Line 46... | Line 46... | ||
| 46 | #include <interrupt.h> |
46 | #include <interrupt.h> |
| 47 | #include <func.h> |
47 | #include <func.h> |
| 48 | #include <console/kconsole.h> |
48 | #include <console/kconsole.h> |
| 49 | #include <ddi/irq.h> |
49 | #include <ddi/irq.h> |
| 50 | #include <arch/debugger.h> |
50 | #include <arch/debugger.h> |
| - | 51 | #include <udebug/udebug.h> |
|
| 51 | 52 | ||
| 52 | static char * exctable[] = { |
53 | static char * exctable[] = { |
| 53 | "Interrupt", |
54 | "Interrupt", |
| 54 | "TLB Modified", |
55 | "TLB Modified", |
| 55 | "TLB Invalid", |
56 | "TLB Invalid", |
| Line 105... | Line 106... | ||
| 105 | unhandled_exception(n, istate); |
106 | unhandled_exception(n, istate); |
| 106 | } |
107 | } |
| 107 | 108 | ||
| 108 | static void breakpoint_exception(int n, istate_t *istate) |
109 | static void breakpoint_exception(int n, istate_t *istate) |
| 109 | { |
110 | { |
| - | 111 | #ifdef CONFIG_UDEBUG |
|
| 110 | if (istate_from_uspace(istate)) { |
112 | if (istate_from_uspace(istate)) { |
| 111 | /* userspace breakpoint */ |
113 | /* userspace breakpoint */ |
| 112 | udebug_breakpoint_event(0); |
114 | udebug_breakpoint_event(0); |
| 113 | return; |
115 | return; |
| 114 | } |
116 | } |
| - | 117 | #endif |
|
| 115 | 118 | ||
| 116 | #ifdef CONFIG_DEBUG |
119 | #ifdef CONFIG_DEBUG |
| 117 | debugger_bpoint(istate); |
120 | debugger_bpoint(istate); |
| 118 | #else |
121 | #else |
| 119 | /* it is necessary to not re-execute BREAK instruction after |
122 | /* it is necessary to not re-execute BREAK instruction after |