mono_once (struct mono_once_t * once, void (*<T477>) (void) once_init)
{
  int D.5310;
  long int D.5313;
  union pthread_mutex_t * D.5316;
  _Bool D.5317;
  long int D.5318;
  long int D.5319;
  int D.5328;
  int thr_ret;

  D.5310 = once->complete;
  if (D.5310 == 0) goto <D.5311>; else goto <D.5312>;
  <D.5311>:
  {
    struct __pthread_unwind_buf_t __cancel_buf;
    void (*<Tbf>) (void *) __cancel_routine;
    void * __cancel_arg;
    int __not_first_call;

    try
      {
        __cancel_routine = pthread_mutex_unlock;
        __cancel_arg = &once->mutex;
        __not_first_call = __sigsetjmp (&__cancel_buf.__cancel_jmp_buf, 0);
        D.5313 = __builtin_expect (__not_first_call, 0);
        if (D.5313 != 0) goto <D.5314>; else goto <D.5315>;
        <D.5314>:
        __cancel_routine (__cancel_arg);
        __pthread_unwind_next (&__cancel_buf);
        <D.5315>:
        __pthread_register_cancel (&__cancel_buf);
        D.5316 = &once->mutex;
        thr_ret = pthread_mutex_lock (D.5316);
        D.5317 = thr_ret != 0;
        D.5318 = (long int) D.5317;
        D.5319 = __builtin_expect (D.5318, 0);
        if (D.5319 != 0) goto <D.5320>; else goto <D.5321>;
        <D.5320>:
        monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mono-mutex.c", 83, "thr_ret == 0");
        <D.5321>:
        D.5310 = once->complete;
        if (D.5310 == 0) goto <D.5322>; else goto <D.5323>;
        <D.5322>:
        once_init ();
        once->complete = 1;
        <D.5323>:
        D.5316 = &once->mutex;
        thr_ret = pthread_mutex_unlock (D.5316);
        D.5317 = thr_ret != 0;
        D.5318 = (long int) D.5317;
        D.5319 = __builtin_expect (D.5318, 0);
        if (D.5319 != 0) goto <D.5324>; else goto <D.5325>;
        <D.5324>:
        monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mono-mutex.c", 90, "thr_ret == 0");
        <D.5325>:
        __pthread_unregister_cancel (&__cancel_buf);
        if (0 != 0) goto <D.5326>; else goto <D.5327>;
        <D.5326>:
        __cancel_routine (__cancel_arg);
        <D.5327>:
      }
    finally
      {
        __cancel_buf = {CLOBBER};
      }
  }
  <D.5312>:
  D.5328 = 0;
  return D.5328;
}


mono_mutex_init_suspend_safe (union mono_mutex_t * mutex)
{
  int D.5332;

  D.5332 = pthread_mutex_init (mutex, 0B);
  return D.5332;
}


