Lines Matching full:final
95 consequence that if the final value of r0 is equal to 1, then the final
97 say nothing about the final value of r1.
121 This also has the consequence that if the final value of r1 is equal
122 to 0, then the final value of r0 must also be equal to 0. In contrast,
123 the weaker rule would say nothing about the final value of r0.
158 the final value of r0 be 1, the final value of z be 2, and the final
238 subsequent accesses. Therefore, if the final value of r0 is the value 1,
239 the final value of r1 must also be the value 1.
273 In this example, if the final value of r0 is &x then the final value of
316 the final value of r0 is 1, the final value of r1 must also be 1.
435 In this case, if r0 and r1 both have final values of 1, then r2 must
436 also have a final value of 1.
465 One might hope that if the final value of r0 is 1 and the final value
466 of z is 2, then the final value of r1 must also be 1, but it really is
467 possible for r1 to have the final value of 0. The reason, of course,
498 Omitting either smp_mb() will allow both r0 and r1 to have final