Mono_Posix_Syscall_lseek (gint32 fd, mph_off_t offset, gint32 whence)
{
  int * D.7937;
  gint64 D.7938;

  if (0 != 0) goto <D.7935>; else goto <D.7936>;
  <D.7935>:
  D.7937 = __errno_location ();
  *D.7937 = 75;
  D.7938 = -1;
  return D.7938;
  <D.7936>:
  D.7938 = lseek (fd, offset, whence);
  return D.7938;
}


Mono_Posix_Syscall_read (gint32 fd, void * buf, mph_size_t count)
{
  int * D.7942;
  gint64 D.7943;

  if (0 != 0) goto <D.7940>; else goto <D.7941>;
  <D.7940>:
  D.7942 = __errno_location ();
  *D.7942 = 75;
  D.7943 = -1;
  return D.7943;
  <D.7941>:
  D.7943 = read (fd, buf, count);
  return D.7943;
}


read (int __fd, void * __buf, size_t __nbytes)
{
  long unsigned int D.7945;
  int D.7948;
  ssize_t D.7951;
  long unsigned int D.7952;
  long unsigned int D.7953;
  long unsigned int D.7956;

  D.7945 = __builtin_object_size (__buf, 0);
  if (D.7945 != 18446744073709551615) goto <D.7946>; else goto <D.7947>;
  <D.7946>:
  D.7948 = __builtin_constant_p (__nbytes);
  if (D.7948 == 0) goto <D.7949>; else goto <D.7950>;
  <D.7949>:
  D.7952 = __builtin_object_size (__buf, 0);
  D.7951 = __read_chk (__fd, __buf, __nbytes, D.7952);
  return D.7951;
  <D.7950>:
  D.7953 = __builtin_object_size (__buf, 0);
  if (D.7953 < __nbytes) goto <D.7954>; else goto <D.7955>;
  <D.7954>:
  D.7956 = __builtin_object_size (__buf, 0);
  D.7951 = __read_chk_warn (__fd, __buf, __nbytes, D.7956);
  return D.7951;
  <D.7955>:
  <D.7947>:
  D.7951 = __read_alias (__fd, __buf, __nbytes);
  return D.7951;
}


Mono_Posix_Syscall_write (gint32 fd, void * buf, mph_size_t count)
{
  int * D.7960;
  gint64 D.7961;

  if (0 != 0) goto <D.7958>; else goto <D.7959>;
  <D.7958>:
  D.7960 = __errno_location ();
  *D.7960 = 75;
  D.7961 = -1;
  return D.7961;
  <D.7959>:
  D.7961 = write (fd, buf, count);
  return D.7961;
}


Mono_Posix_Syscall_pread (gint32 fd, void * buf, mph_size_t count, mph_off_t offset)
{
  int * D.7965;
  gint64 D.7966;

  if (0 != 0) goto <D.7963>; else goto <D.7964>;
  <D.7963>:
  D.7965 = __errno_location ();
  *D.7965 = 75;
  D.7966 = -1;
  return D.7966;
  <D.7964>:
  if (0 != 0) goto <D.7967>; else goto <D.7968>;
  <D.7967>:
  D.7965 = __errno_location ();
  *D.7965 = 75;
  D.7966 = -1;
  return D.7966;
  <D.7968>:
  D.7966 = pread (fd, buf, count, offset);
  return D.7966;
}


pread (int __fd, void * __buf, size_t __nbytes, __off_t __offset)
{
  long unsigned int D.7970;
  int D.7973;
  ssize_t D.7976;
  long unsigned int D.7977;
  long unsigned int D.7978;
  long unsigned int D.7981;

  D.7970 = __builtin_object_size (__buf, 0);
  if (D.7970 != 18446744073709551615) goto <D.7971>; else goto <D.7972>;
  <D.7971>:
  D.7973 = __builtin_constant_p (__nbytes);
  if (D.7973 == 0) goto <D.7974>; else goto <D.7975>;
  <D.7974>:
  D.7977 = __builtin_object_size (__buf, 0);
  D.7976 = __pread_chk (__fd, __buf, __nbytes, __offset, D.7977);
  return D.7976;
  <D.7975>:
  D.7978 = __builtin_object_size (__buf, 0);
  if (D.7978 < __nbytes) goto <D.7979>; else goto <D.7980>;
  <D.7979>:
  D.7981 = __builtin_object_size (__buf, 0);
  D.7976 = __pread_chk_warn (__fd, __buf, __nbytes, __offset, D.7981);
  return D.7976;
  <D.7980>:
  <D.7972>:
  D.7976 = __pread_alias (__fd, __buf, __nbytes, __offset);
  return D.7976;
}


Mono_Posix_Syscall_pwrite (gint32 fd, void * buf, mph_size_t count, mph_off_t offset)
{
  int * D.7985;
  gint64 D.7986;

  if (0 != 0) goto <D.7983>; else goto <D.7984>;
  <D.7983>:
  D.7985 = __errno_location ();
  *D.7985 = 75;
  D.7986 = -1;
  return D.7986;
  <D.7984>:
  if (0 != 0) goto <D.7987>; else goto <D.7988>;
  <D.7987>:
  D.7985 = __errno_location ();
  *D.7985 = 75;
  D.7986 = -1;
  return D.7986;
  <D.7988>:
  D.7986 = pwrite (fd, buf, count, offset);
  return D.7986;
}


Mono_Posix_Syscall_pipe (gint32 * reading, gint32 * writing)
{
  _Bool D.7990;
  _Bool D.7991;
  _Bool D.7992;
  int * D.7995;
  int D.7996;
  int D.7997;
  int D.7998;
  int filedes[2];
  int r;

  try
    {
      filedes[0] = -1;
      filedes[1] = -1;
      D.7990 = reading == 0B;
      D.7991 = writing == 0B;
      D.7992 = D.7990 | D.7991;
      if (D.7992 != 0) goto <D.7993>; else goto <D.7994>;
      <D.7993>:
      D.7995 = __errno_location ();
      *D.7995 = 14;
      D.7996 = -1;
      return D.7996;
      <D.7994>:
      r = pipe (&filedes);
      D.7997 = filedes[0];
      *reading = D.7997;
      D.7998 = filedes[1];
      *writing = D.7998;
      D.7996 = r;
      return D.7996;
    }
  finally
    {
      filedes = {CLOBBER};
    }
}


Mono_Posix_Syscall_getcwd (char * buf, mph_size_t size)
{
  int * D.8003;
  void * D.8004;

  if (0 != 0) goto <D.8001>; else goto <D.8002>;
  <D.8001>:
  D.8003 = __errno_location ();
  *D.8003 = 75;
  D.8004 = 0B;
  return D.8004;
  <D.8002>:
  D.8004 = getcwd (buf, size);
  return D.8004;
}


getcwd (char * __buf, size_t __size)
{
  long unsigned int D.8006;
  int D.8009;
  char * D.8012;
  long unsigned int D.8013;
  long unsigned int D.8014;
  long unsigned int D.8017;

  D.8006 = __builtin_object_size (__buf, 1);
  if (D.8006 != 18446744073709551615) goto <D.8007>; else goto <D.8008>;
  <D.8007>:
  D.8009 = __builtin_constant_p (__size);
  if (D.8009 == 0) goto <D.8010>; else goto <D.8011>;
  <D.8010>:
  D.8013 = __builtin_object_size (__buf, 1);
  D.8012 = __getcwd_chk (__buf, __size, D.8013);
  return D.8012;
  <D.8011>:
  D.8014 = __builtin_object_size (__buf, 1);
  if (D.8014 < __size) goto <D.8015>; else goto <D.8016>;
  <D.8015>:
  D.8017 = __builtin_object_size (__buf, 1);
  D.8012 = __getcwd_chk_warn (__buf, __size, D.8017);
  return D.8012;
  <D.8016>:
  <D.8008>:
  D.8012 = __getcwd_alias (__buf, __size);
  return D.8012;
}


Mono_Posix_Syscall_fpathconf (int filedes, int name, int defaultError)
{
  int * D.8019;
  int name.0;
  int D.8021;
  gint64 D.8024;

  D.8019 = __errno_location ();
  *D.8019 = defaultError;
  name.0 = name;
  D.8021 = Mono_Posix_FromPathconfName (name.0, &name);
  if (D.8021 == -1) goto <D.8022>; else goto <D.8023>;
  <D.8022>:
  D.8024 = -1;
  return D.8024;
  <D.8023>:
  name.0 = name;
  D.8024 = fpathconf (filedes, name.0);
  return D.8024;
}


Mono_Posix_Syscall_pathconf (const char * path, int name, int defaultError)
{
  int * D.8026;
  int name.1;
  int D.8028;
  gint64 D.8031;

  D.8026 = __errno_location ();
  *D.8026 = defaultError;
  name.1 = name;
  D.8028 = Mono_Posix_FromPathconfName (name.1, &name);
  if (D.8028 == -1) goto <D.8029>; else goto <D.8030>;
  <D.8029>:
  D.8031 = -1;
  return D.8031;
  <D.8030>:
  name.1 = name;
  D.8031 = pathconf (path, name.1);
  return D.8031;
}


Mono_Posix_Syscall_sysconf (int name, int defaultError)
{
  int * D.8033;
  int name.2;
  int D.8035;
  gint64 D.8038;

  D.8033 = __errno_location ();
  *D.8033 = defaultError;
  name.2 = name;
  D.8035 = Mono_Posix_FromSysconfName (name.2, &name);
  if (D.8035 == -1) goto <D.8036>; else goto <D.8037>;
  <D.8036>:
  D.8038 = -1;
  return D.8038;
  <D.8037>:
  name.2 = name;
  D.8038 = sysconf (name.2);
  return D.8038;
}


Mono_Posix_Syscall_confstr (int name, char * buf, mph_size_t len)
{
  int * D.8042;
  guint64 D.8043;
  int name.3;
  int D.8045;

  if (0 != 0) goto <D.8040>; else goto <D.8041>;
  <D.8040>:
  D.8042 = __errno_location ();
  *D.8042 = 75;
  D.8043 = 18446744073709551615;
  return D.8043;
  <D.8041>:
  name.3 = name;
  D.8045 = Mono_Posix_FromConfstrName (name.3, &name);
  if (D.8045 == -1) goto <D.8046>; else goto <D.8047>;
  <D.8046>:
  D.8043 = 18446744073709551615;
  return D.8043;
  <D.8047>:
  name.3 = name;
  D.8043 = confstr (name.3, buf, len);
  return D.8043;
}


confstr (int __name, char * __buf, size_t __len)
{
  long unsigned int D.8049;
  int D.8052;
  size_t D.8055;
  long unsigned int D.8056;
  long unsigned int D.8057;
  long unsigned int D.8060;

  D.8049 = __builtin_object_size (__buf, 1);
  if (D.8049 != 18446744073709551615) goto <D.8050>; else goto <D.8051>;
  <D.8050>:
  D.8052 = __builtin_constant_p (__len);
  if (D.8052 == 0) goto <D.8053>; else goto <D.8054>;
  <D.8053>:
  D.8056 = __builtin_object_size (__buf, 1);
  D.8055 = __confstr_chk (__name, __buf, __len, D.8056);
  return D.8055;
  <D.8054>:
  D.8057 = __builtin_object_size (__buf, 1);
  if (D.8057 < __len) goto <D.8058>; else goto <D.8059>;
  <D.8058>:
  D.8060 = __builtin_object_size (__buf, 1);
  D.8055 = __confstr_chk_warn (__name, __buf, __len, D.8060);
  return D.8055;
  <D.8059>:
  <D.8051>:
  D.8055 = __confstr_alias (__name, __buf, __len);
  return D.8055;
}


Mono_Posix_Syscall_ttyname_r (int fd, char * buf, mph_size_t len)
{
  int * D.8064;
  int D.8065;

  if (0 != 0) goto <D.8062>; else goto <D.8063>;
  <D.8062>:
  D.8064 = __errno_location ();
  *D.8064 = 75;
  D.8065 = -1;
  return D.8065;
  <D.8063>:
  D.8065 = ttyname_r (fd, buf, len);
  return D.8065;
}


ttyname_r (int __fd, char * __buf, size_t __buflen)
{
  long unsigned int D.8067;
  int D.8070;
  int D.8073;
  long unsigned int D.8074;
  long unsigned int D.8075;
  long unsigned int D.8078;

  D.8067 = __builtin_object_size (__buf, 1);
  if (D.8067 != 18446744073709551615) goto <D.8068>; else goto <D.8069>;
  <D.8068>:
  D.8070 = __builtin_constant_p (__buflen);
  if (D.8070 == 0) goto <D.8071>; else goto <D.8072>;
  <D.8071>:
  D.8074 = __builtin_object_size (__buf, 1);
  D.8073 = __ttyname_r_chk (__fd, __buf, __buflen, D.8074);
  return D.8073;
  <D.8072>:
  D.8075 = __builtin_object_size (__buf, 1);
  if (D.8075 < __buflen) goto <D.8076>; else goto <D.8077>;
  <D.8076>:
  D.8078 = __builtin_object_size (__buf, 1);
  D.8073 = __ttyname_r_chk_warn (__fd, __buf, __buflen, D.8078);
  return D.8073;
  <D.8077>:
  <D.8069>:
  D.8073 = __ttyname_r_alias (__fd, __buf, __buflen);
  return D.8073;
}


Mono_Posix_Syscall_readlink (const char * path, unsigned char * buf, mph_size_t len)
{
  int * D.8082;
  gint64 D.8083;
  _Bool D.8084;
  long unsigned int r.4;
  _Bool D.8086;
  _Bool D.8087;
  sizetype r.5;
  unsigned char * D.8091;
  gint64 r;

  if (0 != 0) goto <D.8080>; else goto <D.8081>;
  <D.8080>:
  D.8082 = __errno_location ();
  *D.8082 = 75;
  D.8083 = -1;
  return D.8083;
  <D.8081>:
  r = readlink (path, buf, len);
  D.8084 = r >= 0;
  r.4 = (long unsigned int) r;
  D.8086 = r.4 < len;
  D.8087 = D.8084 & D.8086;
  if (D.8087 != 0) goto <D.8088>; else goto <D.8089>;
  <D.8088>:
  r.5 = (sizetype) r;
  D.8091 = buf + r.5;
  *D.8091 = 0;
  <D.8089>:
  D.8083 = r;
  return D.8083;
}


readlink (const char * restrict __path, char * restrict __buf, size_t __len)
{
  long unsigned int D.8093;
  int D.8096;
  ssize_t D.8099;
  long unsigned int D.8100;
  long unsigned int D.8101;
  long unsigned int D.8104;

  D.8093 = __builtin_object_size (__buf, 1);
  if (D.8093 != 18446744073709551615) goto <D.8094>; else goto <D.8095>;
  <D.8094>:
  D.8096 = __builtin_constant_p (__len);
  if (D.8096 == 0) goto <D.8097>; else goto <D.8098>;
  <D.8097>:
  D.8100 = __builtin_object_size (__buf, 1);
  D.8099 = __readlink_chk (__path, __buf, __len, D.8100);
  return D.8099;
  <D.8098>:
  D.8101 = __builtin_object_size (__buf, 1);
  if (D.8101 < __len) goto <D.8102>; else goto <D.8103>;
  <D.8102>:
  D.8104 = __builtin_object_size (__buf, 1);
  D.8099 = __readlink_chk_warn (__path, __buf, __len, D.8104);
  return D.8099;
  <D.8103>:
  <D.8095>:
  D.8099 = __readlink_alias (__path, __buf, __len);
  return D.8099;
}


Mono_Posix_Syscall_readlinkat (int dirfd, const char * path, unsigned char * buf, mph_size_t len)
{
  int * D.8108;
  gint64 D.8109;
  _Bool D.8110;
  long unsigned int r.6;
  _Bool D.8112;
  _Bool D.8113;
  sizetype r.7;
  unsigned char * D.8117;
  gint64 r;

  if (0 != 0) goto <D.8106>; else goto <D.8107>;
  <D.8106>:
  D.8108 = __errno_location ();
  *D.8108 = 75;
  D.8109 = -1;
  return D.8109;
  <D.8107>:
  r = readlinkat (dirfd, path, buf, len);
  D.8110 = r >= 0;
  r.6 = (long unsigned int) r;
  D.8112 = r.6 < len;
  D.8113 = D.8110 & D.8112;
  if (D.8113 != 0) goto <D.8114>; else goto <D.8115>;
  <D.8114>:
  r.7 = (sizetype) r;
  D.8117 = buf + r.7;
  *D.8117 = 0;
  <D.8115>:
  D.8109 = r;
  return D.8109;
}


readlinkat (int __fd, const char * restrict __path, char * restrict __buf, size_t __len)
{
  long unsigned int D.8119;
  int D.8122;
  ssize_t D.8125;
  long unsigned int D.8126;
  long unsigned int D.8127;
  long unsigned int D.8130;

  D.8119 = __builtin_object_size (__buf, 1);
  if (D.8119 != 18446744073709551615) goto <D.8120>; else goto <D.8121>;
  <D.8120>:
  D.8122 = __builtin_constant_p (__len);
  if (D.8122 == 0) goto <D.8123>; else goto <D.8124>;
  <D.8123>:
  D.8126 = __builtin_object_size (__buf, 1);
  D.8125 = __readlinkat_chk (__fd, __path, __buf, __len, D.8126);
  return D.8125;
  <D.8124>:
  D.8127 = __builtin_object_size (__buf, 1);
  if (D.8127 < __len) goto <D.8128>; else goto <D.8129>;
  <D.8128>:
  D.8130 = __builtin_object_size (__buf, 1);
  D.8125 = __readlinkat_chk_warn (__fd, __path, __buf, __len, D.8130);
  return D.8125;
  <D.8129>:
  <D.8121>:
  D.8125 = __readlinkat_alias (__fd, __path, __buf, __len);
  return D.8125;
}


Mono_Posix_Syscall_getlogin_r (char * buf, mph_size_t len)
{
  int * D.8134;
  int D.8135;

  if (0 != 0) goto <D.8132>; else goto <D.8133>;
  <D.8132>:
  D.8134 = __errno_location ();
  *D.8134 = 75;
  D.8135 = -1;
  return D.8135;
  <D.8133>:
  D.8135 = getlogin_r (buf, len);
  return D.8135;
}


getlogin_r (char * __buf, size_t __buflen)
{
  long unsigned int D.8137;
  int D.8140;
  int D.8143;
  long unsigned int D.8144;
  long unsigned int D.8145;
  long unsigned int D.8148;

  D.8137 = __builtin_object_size (__buf, 1);
  if (D.8137 != 18446744073709551615) goto <D.8138>; else goto <D.8139>;
  <D.8138>:
  D.8140 = __builtin_constant_p (__buflen);
  if (D.8140 == 0) goto <D.8141>; else goto <D.8142>;
  <D.8141>:
  D.8144 = __builtin_object_size (__buf, 1);
  D.8143 = __getlogin_r_chk (__buf, __buflen, D.8144);
  return D.8143;
  <D.8142>:
  D.8145 = __builtin_object_size (__buf, 1);
  if (D.8145 < __buflen) goto <D.8146>; else goto <D.8147>;
  <D.8146>:
  D.8148 = __builtin_object_size (__buf, 1);
  D.8143 = __getlogin_r_chk_warn (__buf, __buflen, D.8148);
  return D.8143;
  <D.8147>:
  <D.8139>:
  D.8143 = __getlogin_r_alias (__buf, __buflen);
  return D.8143;
}


Mono_Posix_Syscall_gethostname (char * buf, mph_size_t len)
{
  int * D.8152;
  int D.8153;

  if (0 != 0) goto <D.8150>; else goto <D.8151>;
  <D.8150>:
  D.8152 = __errno_location ();
  *D.8152 = 75;
  D.8153 = -1;
  return D.8153;
  <D.8151>:
  D.8153 = gethostname (buf, len);
  return D.8153;
}


gethostname (char * __buf, size_t __buflen)
{
  long unsigned int D.8155;
  int D.8158;
  int D.8161;
  long unsigned int D.8162;
  long unsigned int D.8163;
  long unsigned int D.8166;

  D.8155 = __builtin_object_size (__buf, 1);
  if (D.8155 != 18446744073709551615) goto <D.8156>; else goto <D.8157>;
  <D.8156>:
  D.8158 = __builtin_constant_p (__buflen);
  if (D.8158 == 0) goto <D.8159>; else goto <D.8160>;
  <D.8159>:
  D.8162 = __builtin_object_size (__buf, 1);
  D.8161 = __gethostname_chk (__buf, __buflen, D.8162);
  return D.8161;
  <D.8160>:
  D.8163 = __builtin_object_size (__buf, 1);
  if (D.8163 < __buflen) goto <D.8164>; else goto <D.8165>;
  <D.8164>:
  D.8166 = __builtin_object_size (__buf, 1);
  D.8161 = __gethostname_chk_warn (__buf, __buflen, D.8166);
  return D.8161;
  <D.8165>:
  <D.8157>:
  D.8161 = __gethostname_alias (__buf, __buflen);
  return D.8161;
}


Mono_Posix_Syscall_sethostname (const char * name, mph_size_t len)
{
  int * D.8170;
  int D.8171;

  if (0 != 0) goto <D.8168>; else goto <D.8169>;
  <D.8168>:
  D.8170 = __errno_location ();
  *D.8170 = 75;
  D.8171 = -1;
  return D.8171;
  <D.8169>:
  D.8171 = sethostname (name, len);
  return D.8171;
}


Mono_Posix_Syscall_gethostid ()
{
  gint64 D.8173;

  D.8173 = gethostid ();
  return D.8173;
}


Mono_Posix_Syscall_sethostid (gint64 hostid)
{
  int * D.8177;
  int D.8178;

  if (0 != 0) goto <D.8175>; else goto <D.8176>;
  <D.8175>:
  D.8177 = __errno_location ();
  *D.8177 = 75;
  D.8178 = -1;
  return D.8178;
  <D.8176>:
  D.8178 = sethostid (hostid);
  return D.8178;
}


Mono_Posix_Syscall_getdomainname (char * name, mph_size_t len)
{
  int * D.8182;
  int D.8183;

  if (0 != 0) goto <D.8180>; else goto <D.8181>;
  <D.8180>:
  D.8182 = __errno_location ();
  *D.8182 = 75;
  D.8183 = -1;
  return D.8183;
  <D.8181>:
  D.8183 = getdomainname (name, len);
  return D.8183;
}


getdomainname (char * __buf, size_t __buflen)
{
  long unsigned int D.8185;
  int D.8188;
  int D.8191;
  long unsigned int D.8192;
  long unsigned int D.8193;
  long unsigned int D.8196;

  D.8185 = __builtin_object_size (__buf, 1);
  if (D.8185 != 18446744073709551615) goto <D.8186>; else goto <D.8187>;
  <D.8186>:
  D.8188 = __builtin_constant_p (__buflen);
  if (D.8188 == 0) goto <D.8189>; else goto <D.8190>;
  <D.8189>:
  D.8192 = __builtin_object_size (__buf, 1);
  D.8191 = __getdomainname_chk (__buf, __buflen, D.8192);
  return D.8191;
  <D.8190>:
  D.8193 = __builtin_object_size (__buf, 1);
  if (D.8193 < __buflen) goto <D.8194>; else goto <D.8195>;
  <D.8194>:
  D.8196 = __builtin_object_size (__buf, 1);
  D.8191 = __getdomainname_chk_warn (__buf, __buflen, D.8196);
  return D.8191;
  <D.8195>:
  <D.8187>:
  D.8191 = __getdomainname_alias (__buf, __buflen);
  return D.8191;
}


Mono_Posix_Syscall_setdomainname (const char * name, mph_size_t len)
{
  int * D.8200;
  int D.8201;

  if (0 != 0) goto <D.8198>; else goto <D.8199>;
  <D.8198>:
  D.8200 = __errno_location ();
  *D.8200 = 75;
  D.8201 = -1;
  return D.8201;
  <D.8199>:
  D.8201 = setdomainname (name, len);
  return D.8201;
}


Mono_Posix_Syscall_truncate (const char * path, mph_off_t length)
{
  int * D.8205;
  int D.8206;

  if (0 != 0) goto <D.8203>; else goto <D.8204>;
  <D.8203>:
  D.8205 = __errno_location ();
  *D.8205 = 75;
  D.8206 = -1;
  return D.8206;
  <D.8204>:
  D.8206 = truncate (path, length);
  return D.8206;
}


Mono_Posix_Syscall_ftruncate (int fd, mph_off_t length)
{
  int * D.8210;
  int D.8211;

  if (0 != 0) goto <D.8208>; else goto <D.8209>;
  <D.8208>:
  D.8210 = __errno_location ();
  *D.8210 = 75;
  D.8211 = -1;
  return D.8211;
  <D.8209>:
  D.8211 = ftruncate (fd, length);
  return D.8211;
}


Mono_Posix_Syscall_lockf (int fd, int cmd, mph_off_t len)
{
  int * D.8215;
  int D.8216;
  int cmd.8;
  int D.8218;

  if (0 != 0) goto <D.8213>; else goto <D.8214>;
  <D.8213>:
  D.8215 = __errno_location ();
  *D.8215 = 75;
  D.8216 = -1;
  return D.8216;
  <D.8214>:
  cmd.8 = cmd;
  D.8218 = Mono_Posix_FromLockfCommand (cmd.8, &cmd);
  if (D.8218 == -1) goto <D.8219>; else goto <D.8220>;
  <D.8219>:
  D.8216 = -1;
  return D.8216;
  <D.8220>:
  cmd.8 = cmd;
  D.8216 = lockf (fd, cmd.8, len);
  return D.8216;
}


Mono_Posix_Syscall_swab (void * from, void * to, mph_ssize_t n)
{
  int D.8224;

  if (0 != 0) goto <D.8222>; else goto <D.8223>;
  <D.8222>:
  D.8224 = -1;
  return D.8224;
  <D.8223>:
  swab (from, to, n);
  D.8224 = 0;
  return D.8224;
}


Mono_Posix_Syscall_setusershell ()
{
  int D.8226;

  setusershell ();
  D.8226 = 0;
  return D.8226;
}


Mono_Posix_Syscall_endusershell ()
{
  int D.8228;

  endusershell ();
  D.8228 = 0;
  return D.8228;
}


Mono_Posix_Syscall_sync ()
{
  int D.8230;

  sync ();
  D.8230 = 0;
  return D.8230;
}