_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long unsigned int timeval.0;
  long unsigned int D.8929;
  unsigned int D.8930;
  long unsigned int D.8931;
  unsigned int D.8932;
  guint64 ticks;

  timeval.0 = (long unsigned int) timeval;
  D.8929 = timeval.0 * 10000000;
  ticks = D.8929 + 116444736000000000;
  D.8930 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8930;
  D.8931 = ticks >> 32;
  D.8932 = (unsigned int) D.8931;
  filetime->dwHighDateTime = D.8932;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.8933;
  long unsigned int D.8934;
  long unsigned int D.8935;
  long int D.8936;
  long unsigned int D.8937;
  long unsigned int D.8938;
  long unsigned int D.8939;
  unsigned int D.8940;
  long unsigned int D.8941;
  unsigned int D.8942;
  guint64 ticks;

  D.8933 = tv->tv_sec;
  D.8934 = (long unsigned int) D.8933;
  D.8935 = D.8934 * 10000000;
  D.8936 = tv->tv_usec;
  D.8937 = (long unsigned int) D.8936;
  D.8938 = D.8937 * 10;
  D.8939 = D.8935 + D.8938;
  ticks = D.8939 + 116444736000000000;
  D.8940 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8940;
  D.8941 = ticks >> 32;
  D.8942 = (unsigned int) D.8941;
  filetime->dwHighDateTime = D.8942;
}


QueryPerformanceCounter (union WapiLargeInteger * count)
{
  gboolean D.8943;

  D.8943 = 0;
  return D.8943;
}


QueryPerformanceFrequency (union WapiLargeInteger * freq)
{
  gboolean D.8945;

  D.8945 = 0;
  return D.8945;
}


GetTickCount ()
{
  guint32 D.8947;

  D.8947 = mono_msec_ticks ();
  return D.8947;
}