sys_ipc_wait_for_call 51 kernel/generic/include/ipc/sysipc.h extern sys_errno_t sys_ipc_wait_for_call(uspace_ptr_ipc_data_t, uint32_t, unsigned int); sys_ipc_wait_for_call 99 kernel/generic/src/syscall/syscall.c [SYS_IPC_WAIT] = (syshandler_t) sys_ipc_wait_for_call,HelenOS homepage, sources at GitHub