Mono_Posix_Syscall_sendfile (int out_fd, int in_fd, mph_off_t * offset, mph_size_t count)
{
  int * D.6551;
  gint64 D.6552;
  long int _offset.0;
  long int _offset.1;
  off_t _offset;
  ssize_t r;

  try
    {
      if (0 != 0) goto <D.6549>; else goto <D.6550>;
      <D.6549>:
      D.6551 = __errno_location ();
      *D.6551 = 75;
      D.6552 = -1;
      return D.6552;
      <D.6550>:
      _offset.0 = *offset;
      _offset = _offset.0;
      r = sendfile (out_fd, in_fd, &_offset, count);
      _offset.1 = _offset;
      *offset = _offset.1;
      D.6552 = r;
      return D.6552;
    }
  finally
    {
      _offset = {CLOBBER};
    }
}