Rev 2900 | Rev 2919 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2900 | Rev 2913 | ||
---|---|---|---|
Line 161... | Line 161... | ||
161 | static void udebug_receive_go(call_t *call) |
161 | static void udebug_receive_go(call_t *call) |
162 | { |
162 | { |
163 | thread_t *t; |
163 | thread_t *t; |
164 | int rc; |
164 | int rc; |
165 | 165 | ||
166 | klog_printf("debug_go()"); |
166 | //klog_printf("debug_go()"); |
167 | 167 | ||
168 | t = (thread_t *)IPC_GET_ARG2(call->data); |
168 | t = (thread_t *)IPC_GET_ARG2(call->data); |
169 | 169 | ||
170 | rc = udebug_go(t, call); |
170 | rc = udebug_go(t, call); |
171 | if (rc < 0) { |
171 | if (rc < 0) { |