Lines Matching refs: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 functions 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
1120 architecture. In fact, as of version 4.15, the kernel automatically
1170 The equivalent fact need not hold if W ->rfi R (i.e., W and R are on
1300 followed by two cumul-fences and an rfe link, utilizing the fact that
1338 In summary, the fact that the hb relation links memory access events
1382 coherence order, contradicting the fact that E ->coe W. If E was a
1385 contradicting the fact that E ->fre W.
1423 In summary, the fact that the pb relation links events in the order
1438 be nested, although we won't make use of this fact.
1521 E ->rcu-gp F means that E and F are in fact the same event,
1533 grace period which ends before Z begins. (In fact it covers more than
1560 E must execute before F; in fact, each synchronize_rcu() fence event
1604 Justifying the axiom isn't easy, but it is in fact a valid
1761 The LKMM includes locking. In fact, there is special code for locking