#include <u.h>
#include <libc.h>
#include "../syscall/syscall.h"

int
getpid(void)
{
	return linuxgetpid();
}