_mtx_destroy
_mtx_destroy(&(m)->mtx_lock)
_mtx_destroy, __DEVOLATILE(void *, &(mtx)->mtx_lock))
void _mtx_destroy(volatile uintptr_t *c);