8 spinning_barrier *barr;
11 void threadA(void *arg)
17 void threadB(void *arg)
20 printf("var = %d\n", load_32(&var));
23 int user_main(int argc, char **argv)
27 barr = new spinning_barrier(2);
29 thrd_create(&t2, &threadA, NULL);
30 thrd_create(&t3, &threadB, NULL);