stdio_kio_flush 59 uspace/lib/c/generic/io/io.c static int stdio_kio_flush(FILE *); stdio_kio_flush 70 uspace/lib/c/generic/io/io.c .flush = stdio_kio_flush