Lines Matching refs:fre
20 12. THE FROM-READS RELATION: fr, fri, and fre
733 THE FROM-READS RELATION: fr, fri, and fre
762 the load and the store are on the same CPU) and fre (when they are on
1228 It's important to understand that neither coe nor fre is included in
1236 R ->fre W means that W overwrites the value which R reads, but it
1348 The formal definition of the prop relation involves a coe or fre link,
1408 F via a coe or fre link, an arbitrary number of cumul-fences, an
1429 link in the sequence is fre instead of coe.
1438 contradicting the fact that E ->fre W.
1464 load: an fre link from P0's load to P1's store (which overwrites the
1744 P1's load at W reads from, so we have W ->fre Y. Since S ->po W and
2421 to the READ_ONCE(). (Another way of putting it is that the fre link
2484 R by one of the vis sequences listed above, then R ->fre W is
2507 definition of the prop relation makes the initial coe or fre part
2510 instances where the coe/fre part of prop is missing are of no interest