__mtx_unlock
__mtx_unlock(m, curthread, opts, file, line);
__mtx_unlock((m), curthread, (opts), (file), (line))