143 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));  variable
177   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()
774   sls_mu2.ReaderLock();  in es_fun_5()
776   sls_mu2.Unlock();  in es_fun_5()