Lines Matching refs:final
91 consequence that if the final value of r0 is equal to 1, then the final
93 say nothing about the final value of r1.
117 This also has the consequence that if the final value of r1 is equal
118 to 0, then the final value of r0 must also be equal to 0. In contrast,
119 the weaker rule would say nothing about the final value of r0.
154 the final value of r0 be 1, the final value of z be 2, and the final
234 subsequent accesses. Therefore, if the final value of r0 is the value 1,
235 the final value of r1 must also be the value 1.
269 In this example, if the final value of r0 is &x then the final value of
312 the final value of r0 is 1, the final value of r1 must also be 1.
431 In this case, if r0 and r1 both have final values of 1, then r2 must
432 also have a final value of 1.
461 One might hope that if the final value of r0 is 1 and the final value
462 of z is 2, then the final value of r1 must also be 1, but it really is
463 possible for r1 to have the final value of 0. The reason, of course,
494 Omitting either smp_mb() will allow both r0 and r1 to have final