#include <tis.h>

    int
    tis_mutex_destroy (
                pthread_mutex_t   *mutex);