HelenOS sources

sys_kio_read       69 kernel/generic/include/console/console.h extern sysarg_t sys_kio_read(uspace_addr_t buf, size_t size, size_t at);
sys_kio_read      139 kernel/generic/src/syscall/syscall.c 	[SYS_KIO_READ] = (syshandler_t) sys_kio_read,