#include <windows.h>
#include <9pm/u.h>
#include <9pm/libc.h>

int
pm_getpid(void)
{
	return GetCurrentThreadId();
}