21 typedef  unsigned long int  UWord;  typedef
27 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
29   UWord old, success;  in do_acasW()
60 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
62   UWord old, success;  in do_acasW()
93 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
95    UWord block[4] = { (UWord)addr, expected, nyu, 2 };  in do_acasW()
116 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
118    UWord block[4] = { (UWord)addr, expected, nyu, 2 };  in do_acasW()
141 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
143   UWord old, success;  in do_acasW()
144   UWord block[2] = { (UWord)addr, nyu };  in do_acasW()
174 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
176   UWord old, success;  in do_acasW()
177   UWord block[2] = { (UWord)addr, nyu };  in do_acasW()
207 UWord do_acasW(UWord* addr, UWord expected, UWord nyu )  in do_acasW()
226 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
228   UWord success;  in do_acasW()
229   UWord block[3] = { (UWord)addr, nyu, expected};  in do_acasW()
259 UWord do_acasW ( UWord* addr, UWord expected, UWord nyu )  in do_acasW()
261   UWord success;  in do_acasW()
262   UWord block[3] = { (UWord)addr, nyu, expected};  in do_acasW()
290 void atomic_incW ( UWord* w )  in atomic_incW()
293       UWord old = *w;  in atomic_incW()
294       UWord nyu = old + 1;  in atomic_incW()
295       UWord ok = do_acasW( w, old, nyu );  in atomic_incW()
306   UWord* w = (UWord*)arg;
319    UWord w = 0;
351 void do_wait ( UWord* w )  in do_wait()
353   UWord w0 = *w;  in do_wait()
354   UWord volatile * wV = w;  in do_wait()
360 void do_signal ( UWord* w )  in do_signal()
370   UWord* w = (UWord*)arg;  in thread_fn1()
381   UWord* w = (UWord*)arg;  in thread_fn2()
397    UWord w = 0;  in main()