Symbol: action_to_state
usr/src/tools/smatch/src/check_locking.c
569
set_state(my_id, match->name, match->sym, action_to_state(lock_unlock));
usr/src/tools/smatch/src/check_locking.c
571
set_state(my_id, key, NULL, action_to_state(lock_unlock));