#include <tis.h>

    int
    tis_mutex_unlock (
                pthread_mutex_t   *mutex);