#include <unistd.h>
#include <errno.h>
#include "syscall.h"

ssize_t read(int fd, void *buf, size_t size)
{
	return syscall(VXSYSREAD, fd, (unsigned)buf, size, 0, 0);
}