Rev 3438 | Rev 3457 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3438 | Rev 3441 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | /** |
33 | /** |
| 34 | * @file |
34 | * @file |
| 35 | * @brief Udebug IPC message handling. |
35 | * @brief Udebug IPC message handling. |
| 36 | */ |
36 | */ |
| 37 | 37 | ||
| 38 | #include <print.h> |
- | |
| 39 | #include <proc/task.h> |
38 | #include <proc/task.h> |
| 40 | #include <proc/thread.h> |
39 | #include <proc/thread.h> |
| 41 | #include <arch.h> |
40 | #include <arch.h> |
| 42 | #include <errno.h> |
41 | #include <errno.h> |
| 43 | #include <ipc/ipc.h> |
42 | #include <ipc/ipc.h> |
| Line 100... | Line 99... | ||
| 100 | static void udebug_receive_go(call_t *call) |
99 | static void udebug_receive_go(call_t *call) |
| 101 | { |
100 | { |
| 102 | thread_t *t; |
101 | thread_t *t; |
| 103 | int rc; |
102 | int rc; |
| 104 | 103 | ||
| 105 | //printf("debug_go()\n"); |
- | |
| 106 | - | ||
| 107 | t = (thread_t *)IPC_GET_ARG2(call->data); |
104 | t = (thread_t *)IPC_GET_ARG2(call->data); |
| 108 | 105 | ||
| 109 | rc = udebug_go(t, call); |
106 | rc = udebug_go(t, call); |
| 110 | if (rc < 0) { |
107 | if (rc < 0) { |
| 111 | IPC_SET_RETVAL(call->data, rc); |
108 | IPC_SET_RETVAL(call->data, rc); |
| Line 117... | Line 114... | ||
| 117 | static void udebug_receive_stop(call_t *call) |
114 | static void udebug_receive_stop(call_t *call) |
| 118 | { |
115 | { |
| 119 | thread_t *t; |
116 | thread_t *t; |
| 120 | int rc; |
117 | int rc; |
| 121 | 118 | ||
| 122 | printf("debug_stop()\n"); |
- | |
| 123 | - | ||
| 124 | t = (thread_t *)IPC_GET_ARG2(call->data); |
119 | t = (thread_t *)IPC_GET_ARG2(call->data); |
| 125 | 120 | ||
| 126 | rc = udebug_stop(t, call); |
121 | rc = udebug_stop(t, call); |
| 127 | IPC_SET_RETVAL(call->data, rc); |
122 | IPC_SET_RETVAL(call->data, rc); |
| 128 | ipc_answer(&TASK->kernel_box, call); |
123 | ipc_answer(&TASK->kernel_box, call); |