Symbol: match_lock_held
usr/src/tools/smatch/src/check_locking.c
1084
return_implies_state(lock->function, 1, 1, &match_lock_held, idx);
usr/src/tools/smatch/src/check_locking.c
1091
return_implies_state(lock->function, 0, 0, &match_lock_held, idx);
usr/src/tools/smatch/src/check_locking.c
1094
return_implies_state_sval(lock->function, valid_ptr_min_sval, valid_ptr_max_sval, &match_lock_held, idx);