HelenOS sources

i8042_read         69 uspace/drv/char/i8042/i8042.c static errno_t i8042_read(chardev_srv_t *, void *, size_t, size_t *,
i8042_read         74 uspace/drv/char/i8042/i8042.c 	.read = i8042_read,
HelenOS homepage, sources at GitHub