_wapi_time_t_to_filetime (time_t timeval, struct WapiFileTime * filetime)
{
  long long unsigned int D.10673;
  long long unsigned int D.10674;
  unsigned int D.10675;
  long long unsigned int D.10676;
  unsigned int D.10677;
  guint64 ticks;

  D.10673 = (long long unsigned int) timeval;
  D.10674 = D.10673 * 10000000;
  ticks = D.10674 + 116444736000000000;
  D.10675 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.10675;
  D.10676 = ticks >> 32;
  D.10677 = (unsigned int) D.10676;
  filetime->dwHighDateTime = D.10677;
}


_wapi_timeval_to_filetime (struct timeval * tv, struct WapiFileTime * filetime)
{
  long int D.10678;
  long long unsigned int D.10679;
  long long unsigned int D.10680;
  long int D.10681;
  long long unsigned int D.10682;
  long long unsigned int D.10683;
  long long unsigned int D.10684;
  unsigned int D.10685;
  long long unsigned int D.10686;
  unsigned int D.10687;
  guint64 ticks;

  D.10678 = tv->tv_sec;
  D.10679 = (long long unsigned int) D.10678;
  D.10680 = D.10679 * 10000000;
  D.10681 = tv->tv_usec;
  D.10682 = (long long unsigned int) D.10681;
  D.10683 = D.10682 * 10;
  D.10684 = D.10680 + D.10683;
  ticks = D.10684 + 116444736000000000;
  D.10685 = (unsigned int) ticks;
  filetime->dwLowDateTime = D.10685;
  D.10686 = ticks >> 32;
  D.10687 = (unsigned int) D.10686;
  filetime->dwHighDateTime = D.10687;
}


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

  D.10688 = 0;
  return D.10688;
}


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

  D.10690 = 0;
  return D.10690;
}


GetTickCount ()
{
  guint32 D.10692;

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