/* This routine deallocates a previously allocated mutex. SQLite is careful to deallocate every mutex that it allocates.  */
static void pthreadMutexFree(sqlite3_mutex *p)
/* This routine deallocates a previously allocated mutex. SQLite is careful to deallocate every mutex that it allocates.  */
static void pthreadMutexFree(sqlite3_mutex *p)
{
  assert( p->nRef==0 );
  assert( p->id==SQLITE_MUTEX_FAST || p->id==SQLITE_MUTEX_RECURSIVE );
  pthread_mutex_destroy(&p->mutex);
  sqlite3_free(p);
}