_thread_mutex_destroy
_thread_cb.tc_mutex_destroy = _thread_mutex_destroy;
void _thread_mutex_destroy(void **);