_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long unsigned int timeval.0;
  long unsigned int D.8415;
  unsigned int D.8416;
  long unsigned int D.8417;
  unsigned int D.8418;
  guint64 ticks;

  timeval.0 = (long unsigned int) timeval;
  D.8415 = timeval.0 * 10000000;
  ticks = D.8415 + 116444736000000000;
  D.8416 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8416;
  D.8417 = ticks >> 32;
  D.8418 = (unsigned int) D.8417;
  filetime->dwHighDateTime = D.8418;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.8419;
  long unsigned int D.8420;
  long unsigned int D.8421;
  long int D.8422;
  long unsigned int D.8423;
  long unsigned int D.8424;
  long unsigned int D.8425;
  unsigned int D.8426;
  long unsigned int D.8427;
  unsigned int D.8428;
  guint64 ticks;

  D.8419 = tv->tv_sec;
  D.8420 = (long unsigned int) D.8419;
  D.8421 = D.8420 * 10000000;
  D.8422 = tv->tv_usec;
  D.8423 = (long unsigned int) D.8422;
  D.8424 = D.8423 * 10;
  D.8425 = D.8421 + D.8424;
  ticks = D.8425 + 116444736000000000;
  D.8426 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8426;
  D.8427 = ticks >> 32;
  D.8428 = (unsigned int) D.8427;
  filetime->dwHighDateTime = D.8428;
}


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

  D.8429 = 0;
  return D.8429;
}


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

  D.8431 = 0;
  return D.8431;
}


GetTickCount ()
{
  guint32 D.8433;

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