| /branches/tracing/kernel/generic/src/ipc/sysipc.c |
|---|
| 342,8 → 342,10 |
| return rc; |
| } |
| break; |
| #ifdef CONFIG_UDEBUG |
| case IPC_M_DEBUG_ALL: |
| return udebug_request_preprocess(call, phone); |
| #endif |
| default: |
| break; |
| } |
| 888,6 → 890,7 |
| */ |
| unative_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg) |
| { |
| #ifdef CONFIG_UDEBUG |
| sysarg64_t taskid_arg; |
| int rc; |
| 898,6 → 901,9 |
| printf("sys_ipc_connect_kbox(%lld, %d)\n", taskid_arg.value); |
| return ipc_connect_kbox(taskid_arg.value); |
| #else |
| return (unative_t) ENOTSUP; |
| #endif |
| } |
| /** @} |