Searched refs:sls_mu2 (Results 1 – 2 of 2) sorted by relevance
100 Mutex sls_mu2 __attribute__((acquired_after(sls_mu))); variable136 sls_mu2.Lock(); in sls_fun_4()138 sls_mu2.Unlock(); in sls_fun_4()155 sls_mu2.Lock(); in sls_fun_7()156 sls_mu2.Unlock(); in sls_fun_7()230 sls_mu2.Lock(); // expected-note{{mutex acquired here}} in sls_fun_bad_4()
143 Mutex sls_mu2 __attribute__((acquired_after(sls_mu))); variable177 sls_mu2.Lock(); in sls_fun_4()179 sls_mu2.Unlock(); in sls_fun_4()196 sls_mu2.Lock(); in sls_fun_7()197 sls_mu2.Unlock(); in sls_fun_7()271 sls_mu2.Lock(); // expected-note{{mutex acquired here}} in sls_fun_bad_4()427 int *pgb_field __attribute__((guarded_by(sls_mu2)))734 void testShared() __attribute__((shared_locks_required(sls_mu2)));768 sls_mu2.Lock(); in es_fun_4()770 sls_mu2.Unlock(); in es_fun_4()[all …]