Lines Matching refs:lck1
9 lck_mtx_t lck1, lck2; variable
54 lck_mtx_lock(&lck1); // no-warning in ok6()
60 if (lck_mtx_try_lock(&lck1) != 0) // no-warning in ok7()
61 lck_mtx_unlock(&lck1); // no-warning in ok7()
217 lck_mtx_lock(&lck1); // no-warning in bad5()
218 lck_mtx_lock(&lck1); // expected-warning{{This lock has already been acquired}} in bad5()
224 lck_mtx_lock(&lck1); // no-warning in bad6()
225 lck_mtx_unlock(&lck1); // no-warning in bad6()
226 lck_mtx_lock(&lck1); // no-warning in bad6()
227 lck_mtx_lock(&lck1); // expected-warning{{This lock has already been acquired}} in bad6()
233 lck_mtx_lock(&lck1); // no-warning in bad7()
235 lck_mtx_unlock(&lck1); // expected-warning{{This was not the most recently acquired lock}} in bad7()
242 if (lck_mtx_try_lock(&lck1) == 0) // no-warning in bad8()
245 lck_mtx_unlock(&lck1); // expected-warning{{This was not the most recently acquired lock}} in bad8()
251 lck_mtx_unlock(&lck1); // no-warning in bad9()
252 lck_mtx_unlock(&lck1); // expected-warning{{This lock has already been unlocked}} in bad9()
258 lck_mtx_lock(&lck1); // no-warning in bad10()
259 lck_mtx_unlock(&lck1); // no-warning in bad10()
260 lck_mtx_unlock(&lck1); // expected-warning{{This lock has already been unlocked}} in bad10()
272 lck_mtx_lock(&lck1); // no-warning in bad11()
273 lck_mtx_unlock(&lck1); // no-warning in bad11()
275 bad11_sub(&lck1); in bad11()