_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long unsigned int timeval.0;
  long unsigned int D.8588;
  unsigned int D.8589;
  long unsigned int D.8590;
  unsigned int D.8591;
  guint64 ticks;

  timeval.0 = (long unsigned int) timeval;
  D.8588 = timeval.0 * 10000000;
  ticks = D.8588 + 116444736000000000;
  D.8589 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8589;
  D.8590 = ticks >> 32;
  D.8591 = (unsigned int) D.8590;
  filetime->dwHighDateTime = D.8591;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.8592;
  long unsigned int D.8593;
  long unsigned int D.8594;
  long int D.8595;
  long unsigned int D.8596;
  long unsigned int D.8597;
  long unsigned int D.8598;
  unsigned int D.8599;
  long unsigned int D.8600;
  unsigned int D.8601;
  guint64 ticks;

  D.8592 = tv->tv_sec;
  D.8593 = (long unsigned int) D.8592;
  D.8594 = D.8593 * 10000000;
  D.8595 = tv->tv_usec;
  D.8596 = (long unsigned int) D.8595;
  D.8597 = D.8596 * 10;
  D.8598 = D.8594 + D.8597;
  ticks = D.8598 + 116444736000000000;
  D.8599 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8599;
  D.8600 = ticks >> 32;
  D.8601 = (unsigned int) D.8600;
  filetime->dwHighDateTime = D.8601;
}


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

  D.8602 = 0;
  return D.8602;
}


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

  D.8604 = 0;
  return D.8604;
}


GetTickCount ()
{
  guint32 D.8606;

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