#include <sys/syscall.h>

/* Exit the current program */
void
exit(int status)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_EXIT),
	             "c" (1), "S" (&status));
	while (1);
	/* UNREACHED */
}