Lines Matching refs:FLAG1
2834 int FLAG1 = 0;
2838 // The variables FLAG1 and FLAG2 used for synchronization and as
2843 FLAG1=GLOB2;
2853 while(!FLAG1)
2855 GLOB1=FLAG1;
2877 int FLAG1 = 0;
2882 FLAG1=GLOB2;
2892 while(!FLAG1) usleep(1);
2894 GLOB1=FLAG1;
2899 ANNOTATE_BENIGN_RACE(&FLAG1, "synchronization via 'safe' race");
2918 int FLAG1 = 0;
2923 FLAG1=GLOB2;
2953 GLOB1=FLAG1;