Lines Matching refs:fre
20 12. THE FROM-READS RELATION: fr, fri, and fre
735 THE FROM-READS RELATION: fr, fri, and fre
764 the load and the store are on the same CPU) and fre (when they are on
1260 It's important to understand that neither coe nor fre is included in
1268 R ->fre W means that W overwrites the value which R reads, but it
1380 The formal definition of the prop relation involves a coe or fre link,
1440 F via a coe or fre link, an arbitrary number of cumul-fences, an
1461 link in the sequence is fre instead of coe.
1470 contradicting the fact that E ->fre W.
1496 load: an fre link from P0's load to P1's store (which overwrites the
1776 P1's load at W reads from, so we have W ->fre Y. Since S ->po W and
2608 to the READ_ONCE(). (Another way of putting it is that the fre link
2671 R by one of the vis sequences listed above, then R ->fre W is
2694 definition of the prop relation makes the initial coe or fre part
2697 instances where the coe/fre part of prop is missing are of no interest