/* * mutex_destroy: * * Tear down a mutex. */