Rev 3438 | Rev 3448 | 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); |