#include <unistd.h>#include <errno.h>#include "syscall.h" ssize_t write(int fd, const void *buf, size_t size){ return syscall(VXSYSWRITE, fd, (unsigned)buf, size, 0, 0);}#include <unistd.h>
#include <errno.h>
#include "syscall.h"
ssize_t write(int fd, const void *buf, size_t size)
{
return syscall(VXSYSWRITE, fd, (unsigned)buf, size, 0, 0);
}