Lines Matching defs:FLAG2
2839 int FLAG2 = 0;
2842 // The variables FLAG1 and FLAG2 used for synchronization and as
2849 while(!FLAG2)
2851 GLOB2=FLAG2;
2855 FLAG2=GLOB1;
2882 int FLAG2 = 0;
2888 while(!FLAG2) usleep(1);
2890 GLOB2=FLAG2;
2894 FLAG2=GLOB1;
2904 ANNOTATE_BENIGN_RACE(&FLAG2, "synchronization via 'safe' race");
2921 int FLAG2 = 0;
2940 GLOB2=FLAG2;
2944 FLAG2=GLOB1;