Lines Matching refs:outcome

175 happens, the LKMM does predict this outcome can occur, and the example
210 	execute before itself, the specified outcome is impossible.
219 Ordering).  This model predicts that the undesired outcome for the MP
243 Sequential Consistency predicts that the outcome r0 = 0, r1 = 0 is
245 this outcome to occur, and in fact it does sometimes occur on x86 and
277 and a certain outcome for the loads in a piece of code can happen only
279 that outcome cannot occur.
1295 outcome is impossible -- as it should be.
1423 prevents the r0 = 0, r1 = 0 outcome.
1703 forbidden cycle, violating the "rcu" axiom.  Hence the outcome is not
1743 rcu-rscsi (two).  Consequently the outcome is allowed by the LKMM.
1984 outcome undefined.
2010 outcome.