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