Rev 2805 | Rev 2823 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2805 | Rev 2813 | ||
---|---|---|---|
Line 7... | Line 7... | ||
7 | * @brief Tdebug. |
7 | * @brief Tdebug. |
8 | */ |
8 | */ |
9 | 9 | ||
10 | #include <synch/waitq.h> |
10 | #include <synch/waitq.h> |
11 | #include <console/klog.h> |
11 | #include <console/klog.h> |
12 | #include <udebug.h> |
12 | #include <udebug/udebug.h> |
13 | #include <arch.h> |
13 | #include <arch.h> |
14 | 14 | ||
15 | void udebug_stoppable_begin(void) |
15 | void udebug_stoppable_begin(void) |
16 | { |
16 | { |
17 | int nsc; |
17 | int nsc; |