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

void _exit(int status)
{
	while(1)
		syscall(VXSYSEXIT, 0, 0, 0, 0, 0);
}