Lines Matching refs:FLAG1
2838 int FLAG1 = 0; variable
2847 FLAG1=GLOB2; in Worker2()
2857 while(!FLAG1) in Worker1()
2859 GLOB1=FLAG1; in Worker1()
2881 int FLAG1 = 0; variable
2886 FLAG1=GLOB2; in Worker2()
2896 while(!FLAG1) usleep(1); in Worker1()
2898 GLOB1=FLAG1; in Worker1()
2903 ANNOTATE_BENIGN_RACE(&FLAG1, "synchronization via 'safe' race"); in Run()
2922 int FLAG1 = 0; variable
2927 FLAG1=GLOB2; in Worker2()
2957 GLOB1=FLAG1; in Worker1()