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
498 loaded. But in fact, the value stored does not really depend on
806 (In fact, the picture needs to be a little more complicated than this.
908 maintaining cache coherence and the fact that a CPU can't operate on a
1175 architecture. In fact, as of version 4.15, the kernel automatically
1223 The equivalent fact need not hold if W ->rfi R (i.e., W and R are on
1353 followed by two cumul-fences and an rfe link, utilizing the fact that
1391 In summary, the fact that the hb relation links memory access events
1435 coherence order, contradicting the fact that E ->coe W. If E was a
1438 contradicting the fact that E ->fre W.
1476 In summary, the fact that the pb relation links events in the order
1491 be nested, although we won't make use of this fact.
1574 E ->rcu-gp F means that E and F are in fact the same event,
1586 grace period which ends before Z begins. (In fact it covers more than
1613 imply that E must execute before F; in fact, each synchronize_rcu()
1659 CPUs. (Perhaps this fact should lead us to say that rcu-fence isn't
1676 Justifying the axiom isn't easy, but it is in fact a valid
1833 The LKMM includes locking. In fact, there is special code for locking
2161 The second complicating factor mentioned above arises from the fact
2273 In fact, we go one step further: Since R is a read, we say that R is