Symbol: match_lock_failed
usr/src/tools/smatch/src/check_locking.c
1085
return_implies_state(lock->function, 0, 0, &match_lock_failed, idx);
usr/src/tools/smatch/src/check_locking.c
1092
return_implies_state(lock->function, -4095, -1, &match_lock_failed, idx);