2 _spin_unlock(int name
);
20 _spin_unlock(mylock2
);
29 * check-name: Locking #1
30 * check-command: smatch sm_locking.c
33 sm_locking.c +26 func(20) warn: 'mylock3' is sometimes locked here and sometimes unlocked.
34 sm_locking.c +26 func(20) warn: lock 'mylock2' held on line 26 but not on 21.