Mono_Posix_Syscall_nanosleep (struct Mono_Posix_Timespec * req, struct Mono_Posix_Timespec * rem)
{
  int * D.6712;
  int D.6713;
  int D.6714;
  int D.6719;
  int D.6724;
  struct timespec _req;
  struct timespec _rem;
  struct timespec * prem;
  int r;

  try
    {
      prem = 0B;
      if (req == 0B) goto <D.6710>; else goto <D.6711>;
      <D.6710>:
      D.6712 = __errno_location ();
      *D.6712 = 14;
      D.6713 = -1;
      return D.6713;
      <D.6711>:
      D.6714 = Mono_Posix_FromTimespec (req, &_req);
      if (D.6714 == -1) goto <D.6715>; else goto <D.6716>;
      <D.6715>:
      D.6713 = -1;
      return D.6713;
      <D.6716>:
      if (rem != 0B) goto <D.6717>; else goto <D.6718>;
      <D.6717>:
      D.6719 = Mono_Posix_FromTimespec (rem, &_rem);
      if (D.6719 == -1) goto <D.6720>; else goto <D.6721>;
      <D.6720>:
      D.6713 = -1;
      return D.6713;
      <D.6721>:
      prem = &_rem;
      <D.6718>:
      r = nanosleep (&_req, prem);
      if (rem != 0B) goto <D.6722>; else goto <D.6723>;
      <D.6722>:
      D.6724 = Mono_Posix_ToTimespec (prem, rem);
      if (D.6724 == -1) goto <D.6725>; else goto <D.6726>;
      <D.6725>:
      D.6713 = -1;
      return D.6713;
      <D.6726>:
      <D.6723>:
      D.6713 = r;
      return D.6713;
    }
  finally
    {
      _req = {CLOBBER};
      _rem = {CLOBBER};
    }
}


Mono_Posix_Syscall_stime (mph_time_t * t)
{
  int * D.6731;
  int D.6732;
  long int _t.0;
  time_t _t;

  try
    {
      if (t == 0B) goto <D.6729>; else goto <D.6730>;
      <D.6729>:
      D.6731 = __errno_location ();
      *D.6731 = 14;
      D.6732 = -1;
      return D.6732;
      <D.6730>:
      if (0 != 0) goto <D.6733>; else goto <D.6734>;
      <D.6733>:
      D.6731 = __errno_location ();
      *D.6731 = 75;
      D.6732 = -1;
      return D.6732;
      <D.6734>:
      _t.0 = *t;
      _t = _t.0;
      D.6732 = stime (&_t);
      return D.6732;
    }
  finally
    {
      _t = {CLOBBER};
    }
}


Mono_Posix_Syscall_time (mph_time_t * t)
{
  int * D.6740;
  gint64 D.6741;
  long int _t.1;
  long int _t.2;
  time_t _t;
  time_t r;

  try
    {
      if (t == 0B) goto <D.6738>; else goto <D.6739>;
      <D.6738>:
      D.6740 = __errno_location ();
      *D.6740 = 14;
      D.6741 = -1;
      return D.6741;
      <D.6739>:
      if (0 != 0) goto <D.6742>; else goto <D.6743>;
      <D.6742>:
      D.6740 = __errno_location ();
      *D.6740 = 75;
      D.6741 = -1;
      return D.6741;
      <D.6743>:
      _t.1 = *t;
      _t = _t.1;
      r = time (&_t);
      _t.2 = _t;
      *t = _t.2;
      D.6741 = r;
      return D.6741;
    }
  finally
    {
      _t = {CLOBBER};
    }
}