_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long long unsigned int D.8092;
  long long unsigned int D.8093;
  unsigned int D.8094;
  long long unsigned int D.8095;
  unsigned int D.8096;
  guint64 ticks;

  D.8092 = (long long unsigned int) timeval;
  D.8093 = D.8092 * 10000000;
  ticks = D.8093 + 116444736000000000;
  D.8094 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8094;
  D.8095 = ticks >> 32;
  D.8096 = (unsigned int) D.8095;
  filetime->dwHighDateTime = D.8096;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.8097;
  long long unsigned int D.8098;
  long long unsigned int D.8099;
  long int D.8100;
  long long unsigned int D.8101;
  long long unsigned int D.8102;
  long long unsigned int D.8103;
  unsigned int D.8104;
  long long unsigned int D.8105;
  unsigned int D.8106;
  guint64 ticks;

  D.8097 = tv->tv_sec;
  D.8098 = (long long unsigned int) D.8097;
  D.8099 = D.8098 * 10000000;
  D.8100 = tv->tv_usec;
  D.8101 = (long long unsigned int) D.8100;
  D.8102 = D.8101 * 10;
  D.8103 = D.8099 + D.8102;
  ticks = D.8103 + 116444736000000000;
  D.8104 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.8104;
  D.8105 = ticks >> 32;
  D.8106 = (unsigned int) D.8105;
  filetime->dwHighDateTime = D.8106;
}


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

  D.8107 = 0;
  return D.8107;
}


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

  D.8109 = 0;
  return D.8109;
}


GetTickCount ()
{
  guint32 D.8111;

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