Searched refs:avg_race_time_mle (Results 1 – 4 of 4) sorted by relevance
255 double avg_race_time_mle = (sum / 10); in test_seq_cst() local258 double avg_race_time_995 = avg_race_time_mle * 2 * 10 / 7.44; in test_seq_cst()
249 double avg_race_time_mle = (sum / 10); in test_seq_cst() local252 double avg_race_time_995 = avg_race_time_mle * 2 * 10 / 7.44; in test_seq_cst()
171 double avg_race_time_mle = (sum / 10); in estimate_avg_race_time() local174 double avg_race_time_995 = avg_race_time_mle * 2 * 10 / 7.44; in estimate_avg_race_time()
177 double avg_race_time_mle = (sum / 10); in estimate_avg_race_time() local180 double avg_race_time_995 = avg_race_time_mle * 2 * 10 / 7.44; in estimate_avg_race_time()