#include <unistd.h>#include <errno.h>#include "syscall.h" pid_t getpid(void){	return syscall(VXSYSGETPID, 0, 0, 0, 0, 0);}