Lines Matching refs:r1
45 r1 = READ_ONCE(x);
49 then both r0 and r1 must be set to the value 1. This also has the
51 value of r1 must also be equal to 1. In contrast, the weaker rule would
52 say nothing about the final value of r1.
68 r1 = READ_ONCE(x);
81 mylock before CPU1(), then both r0 and r1 must be set to the value 0.
82 This also has the consequence that if the final value of r1 is equal
104 r1 = READ_ONCE(flag);
105 if (r1 == 0) {
129 r1 = READ_ONCE(flag);
130 if (r1 == 0) {
180 r1 = READ_ONCE(x);
185 value of r1 be 0. The reason for this surprising outcome is that CPU2()
214 r1 = READ_ONCE(x);
221 value of z is 2, and the final value of r1 is 0.
249 r1 = READ_ONCE(x);
255 filter (1:r0=0 /\ 1:r1=1)
261 initial value "0") and then into "1:r1" (which should get the updated
265 equal "0" and "1:r1" to equal 1.
289 r1 = READ_ONCE(x);
294 filter (1:r0=0 /\ 1:r1=1)
297 If "1:r0" is equal to "0", "1:r1" can never equal "1" because CPU0()