#include <sys/types.h>
#include <sys/wait.h>
#include <errno.h>
#include "syscall.h"

pid_t waitpid(pid_t wpid, int *status, int options)
{
	return syscall(VXSYSWAITPID, wpid, (int)status, options, 0, 0);
}