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

int sleep(int s)
{
	return syscall(VXSYSSLEEP, s, 0, 0, 0, 0);
}