stdio_kio_read 57 uspace/lib/c/generic/io/io.c static size_t stdio_kio_read(void *, size_t, size_t, FILE *); stdio_kio_read 68 uspace/lib/c/generic/io/io.c .read = stdio_kio_read,