_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long long unsigned int D.8064;
  long long unsigned int D.8065;
  unsigned int D.8066;
  long long unsigned int D.8067;
  unsigned int D.8068;
  guint64 ticks;

  D.8064 = (long long unsigned int) timeval;
  D.8065 = D.8064 * 10000000;
  ticks = D.8065 + 116444736000000000;
  D.8066 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8066;
  D.8067 = ticks >> 32;
  D.8068 = (unsigned int) D.8067;
  filetime->dwHighDateTime = D.8068;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.8069;
  long long unsigned int D.8070;
  long long unsigned int D.8071;
  long int D.8072;
  long long unsigned int D.8073;
  long long unsigned int D.8074;
  long long unsigned int D.8075;
  unsigned int D.8076;
  long long unsigned int D.8077;
  unsigned int D.8078;
  guint64 ticks;

  D.8069 = tv->tv_sec;
  D.8070 = (long long unsigned int) D.8069;
  D.8071 = D.8070 * 10000000;
  D.8072 = tv->tv_usec;
  D.8073 = (long long unsigned int) D.8072;
  D.8074 = D.8073 * 10;
  D.8075 = D.8071 + D.8074;
  ticks = D.8075 + 116444736000000000;
  D.8076 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8076;
  D.8077 = ticks >> 32;
  D.8078 = (unsigned int) D.8077;
  filetime->dwHighDateTime = D.8078;
}


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

  D.8079 = 0;
  return D.8079;
}


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

  D.8081 = 0;
  return D.8081;
}


GetTickCount ()
{
  guint32 D.8083;

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