- Should we require mutexes to be owned for mtx_destroy() since we can not safely
assert that they are unowned by anyone else otherwise?
- Use a critical section...
- Describe the races with contested mutexes
- Why it is safe to read mtx_lock of a contested mutex when holding the turnstile
chain lock.
