/branches/tracing/kernel/generic/src/ipc/sysipc.c |
---|
875,7 → 875,7 |
return 0; |
} |
#include <console/klog.h> |
#include <console/console.h> |
/** |
* Syscall connect to a task by id. |
891,7 → 891,7 |
if (rc != 0) |
return (unative_t) rc; |
klog_printf("sys_ipc_connect_kbox(%lld, %d)", taskid_arg.value); |
printf("sys_ipc_connect_kbox(%lld, %d)\n", taskid_arg.value); |
return ipc_connect_kbox(taskid_arg.value); |
} |