i8042_write 71 uspace/drv/char/i8042/i8042.c static errno_t i8042_write(chardev_srv_t *, const void *, size_t, size_t *); i8042_write 75 uspace/drv/char/i8042/i8042.c .write = i8042_write