#include "stdio_impl.h"

size_t __stdio_read(FILE *f, unsigned char *buf, size_t len)
{
	return syscall(SYS_read, f->fd, buf, len);
}