#include <sys/select.h>
#include "syscall.h"

int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds,
	 struct timeval *timeout)
{
	return syscall(VXSYSSELECT, nfds, (int)readfds, (int)writefds, (int)exceptfds, (int)timeout);
}