Lines Matching refs:outcome

173 happens, the LKMM does predict this outcome can occur, and the example
208 	execute before itself, the specified outcome is impossible.
217 Ordering).  This model predicts that the undesired outcome for the MP
241 Sequential Consistency predicts that the outcome r0 = 0, r1 = 0 is
243 this outcome to occur, and in fact it does sometimes occur on x86 and
275 and a certain outcome for the loads in a piece of code can happen only
277 that outcome cannot occur.
1319 outcome is impossible -- as it should be.
1447 prevents the r0 = 0, r1 = 0 outcome.
1703 violating the "rcu" axiom.  Hence the outcome is not allowed by the
1743 the outcome is allowed by the LKMM.  The following instruction timing