/* The sqlite3_mutex_leave() routine exits a mutex that was previously entered by the same thread. The behavior is undefined if the mutex is not currently entered. If a NULL pointer is passed as an argument this function is a no-op.  */
SQLITE_API void sqlite3_mutex_leave(sqlite3_mutex *)
/* The sqlite3_mutex_leave() routine exits a mutex that was previously entered by the same thread. The behavior is undefined if the mutex is not currently entered. If a NULL pointer is passed as an argument this function is a no-op.  */
SQLITE_API void sqlite3_mutex_leave(sqlite3_mutex *)
{
  if( p ){
    sqlite3GlobalConfig.mutex.xMutexLeave(p);
  }
}