sys_ipc_poke 52 kernel/generic/include/ipc/sysipc.h extern sys_errno_t sys_ipc_poke(void); sys_ipc_poke 100 kernel/generic/src/syscall/syscall.c [SYS_IPC_POKE] = (syshandler_t) sys_ipc_poke,