Lines Matching full:fact

245 this outcome to occur, and in fact it does sometimes occur on x86 and
373 accessed normally without READ_ONCE() or WRITE_ONCE().  In fact, they
414 Another issue arises from the fact that in C, arguments to many
422 between them.  (In fact, if the function calls are inlined then the
755 (In fact, the picture needs to be a little more complicated than this.
857 maintaining cache coherence and the fact that a CPU can't operate on a
1124 architecture.  In fact, as of version 4.15, the kernel automatically
1172 The equivalent fact need not hold if W ->rfi R (i.e., W and R are on
1302 followed by two cumul-fences and an rfe link, utilizing the fact that
1340 In summary, the fact that the hb relation links memory access events
1384 coherence order, contradicting the fact that E ->coe W.  If E was a
1387 contradicting the fact that E ->fre W.
1425 In summary, the fact that the pb relation links events in the order
1440 be nested, although we won't make use of this fact.
1523 	E ->rcu-gp F means that E and F are in fact the same event,
1535 grace period which ends before Z begins.  (In fact it covers more than
1562 imply that E must execute before F; in fact, each synchronize_rcu()
1608 CPUs.  (Perhaps this fact should lead us to say that rcu-fence isn't
1625 Justifying the axiom isn't easy, but it is in fact a valid
1782 The LKMM includes locking.  In fact, there is special code for locking
2104 The second complicating factor mentioned above arises from the fact
2216 In fact, we go one step further: Since R is a read, we say that R is