add assertion for mutex_lock.
After do_mutex_lock(mutex), the mutex should be owned by the current thread. Adding an assertion for this assumption.
add assertion for mutex_lock.
After do_mutex_lock(mutex), the mutex should be owned by the current
thread. Adding an assertion for this assumption.