prof_mutex_unlock
(void) prof_mutex_unlock((mutex_t *)&Hptr->
(void) prof_mutex_unlock((mutex_t *)&Hptr->hd_mutex, &mask);
(void) prof_mutex_unlock((mutex_t *)&Hptr->hd_mutex,
(void) prof_mutex_unlock(
(void) prof_mutex_unlock((mutex_t *)&Hptr->hd_mutex, &mask);