Lines Matching refs:fre

20   12. THE FROM-READS RELATION: fr, fri, and fre
682 THE FROM-READS RELATION: fr, fri, and fre
711 the load and the store are on the same CPU) and fre (when they are on
1177 It's important to understand that neither coe nor fre is included in
1185 R ->fre W means that W overwrites the value which R reads, but it
1297 The formal definition of the prop relation involves a coe or fre link,
1357 F via a coe or fre link, an arbitrary number of cumul-fences, an
1378 link in the sequence is fre instead of coe.
1387 contradicting the fact that E ->fre W.
1413 load: an fre link from P0's load to P1's store (which overwrites the
1693 P1's load at W reads from, so we have W ->fre Y.  Since S ->po W and
2364 to the READ_ONCE().  (Another way of putting it is that the fre link
2427 	R by one of the vis sequences listed above, then R ->fre W is
2450 definition of the prop relation makes the initial coe or fre part
2453 instances where the coe/fre part of prop is missing are of no interest