2 _spin_unlock(int name
);
20 _spin_unlock(mylock2
);
29 * check-name: Locking inconsistencies
30 * check-command: smatch sm_locking.c
33 sm_locking.c +26 func(20) Unclear if 'mylock3' is locked or unlocked.
34 sm_locking.c +26 func(20) Lock 'mylock2' held on line 26 but not on 21.