Searched refs:sls_mu (Results 1 – 2 of 2) sorted by relevance
98 Mutex sls_mu; variable100 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));102 int sls_guardby_var __attribute__((guarded_by(sls_mu))) = 0;124 sls_mu.Lock(); in sls_fun_2()126 sls_mu.Unlock(); in sls_fun_2()130 sls_mu.Lock(); in sls_fun_3()132 sls_mu.Unlock(); in sls_fun_3()142 sls_mu.Lock(); in sls_fun_5()144 sls_mu.Unlock(); in sls_fun_5()148 sls_mu.Lock(); in sls_fun_6()[all …]
141 Mutex sls_mu; variable143 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));145 int sls_guardby_var __attribute__((guarded_by(sls_mu))) = 0;165 sls_mu.Lock(); in sls_fun_2()167 sls_mu.Unlock(); in sls_fun_2()171 sls_mu.Lock(); in sls_fun_3()173 sls_mu.Unlock(); in sls_fun_3()183 sls_mu.Lock(); in sls_fun_5()185 sls_mu.Unlock(); in sls_fun_5()189 sls_mu.Lock(); in sls_fun_6()[all …]