| 42,10 → 42,9 |
|---|
| #include <ipc/sysipc.h> |
| #include <ipc/irq.h> |
| #include <ipc/ipcrsc.h> |
| #include <ipc/ipc_kbox.h> |
| #include <ipc/kbox.h> |
| #include <udebug/udebug_ipc.h> |
| #include <arch/interrupt.h> |
| #include <print.h> |
| #include <syscall/copy.h> |
| #include <security/cap.h> |
| #include <mm/as.h> |
| 823,7 → 822,8 |
|---|
| |
| ASSERT(! (call->flags & IPC_CALL_STATIC_ALLOC)); |
| |
| atomic_dec(&TASK->active_calls); |
| if (!(call->flags & IPC_CALL_DISCARD_ANSWER)) |
| atomic_dec(&TASK->active_calls); |
| |
| if (call->flags & IPC_CALL_DISCARD_ANSWER) { |
| ipc_call_free(call); |
| 899,7 → 899,7 |
|---|
| if (rc != 0) |
| return (unative_t) rc; |
| |
| printf("sys_ipc_connect_kbox(%lld, %d)\n", taskid_arg.value); |
| LOG("sys_ipc_connect_kbox(%" PRIu64 ")\n", taskid_arg.value); |
| |
| return ipc_connect_kbox(taskid_arg.value); |
| #else |