diff options
author | Koichi Sasada <ko1@atdot.net> | 2019-10-28 12:19:18 +0900 |
---|---|---|
committer | Koichi Sasada <ko1@atdot.net> | 2019-10-28 12:19:18 +0900 |
commit | d8d581bfc4cee87a59e40eac20e51fe199eb44bf (patch) | |
tree | e281379d78e492094a99afad3e6dd57f2ab9c13d /defs/opt_operand.def | |
parent | 85d966af21ce834ddefe13861bcb42abae244d25 (diff) |
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.
Diffstat (limited to 'defs/opt_operand.def')
0 files changed, 0 insertions, 0 deletions