HelenOS sources

SYS_IPC_POKE      100 kernel/generic/src/syscall/syscall.c 	[SYS_IPC_POKE] = (syshandler_t) sys_ipc_poke,
SYS_IPC_POKE       81 uspace/app/trace/syscalls.c 	[SYS_IPC_POKE] = { "ipc_poke", 0, V_ERRNO },
SYS_IPC_POKE      170 uspace/lib/c/generic/ipc.c 	__SYSCALL0(SYS_IPC_POKE);
HelenOS homepage, sources at GitHub