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

int close(int fd)
{
	return syscall(VXSYSCLOSE, fd, 0, 0, 0, 0);
}