1 #include "stdio_impl.h"
2 #include <sys/uio.h>
3 
__stdio_read(FILE * f,unsigned char * buf,size_t len)4 size_t __stdio_read(FILE *f, unsigned char *buf, size_t len)
5 {
6 	/* TRUSTY - no read syscall. */
7 	f->flags |= F_EOF;
8 	return 0;
9 }
10