HelenOS sources

__SYSCALL4         46 uspace/lib/c/generic/io/klog.c 	return (errno_t) __SYSCALL4(SYS_KLOG, KLOG_WRITE, (sysarg_t) buf,
__SYSCALL4        229 uspace/lib/c/generic/ipc.c 	return (errno_t) __SYSCALL4(SYS_IPC_FORWARD_SLOW,
__SYSCALL4         71 uspace/lib/c/generic/irq.c 	return (errno_t) __SYSCALL4(SYS_IPC_IRQ_SUBSCRIBE, inr, method,
__SYSCALL4        123 uspace/lib/c/generic/thread/thread.c 	errno_t rc = (errno_t) __SYSCALL4(SYS_THREAD_CREATE, (sysarg_t) uarg,
HelenOS homepage, sources at GitHub