Lines Matching refs:fre
20 12. THE FROM-READS RELATION: fr, fri, and fre
686 THE FROM-READS RELATION: fr, fri, and fre
715 the load and the store are on the same CPU) and fre (when they are on
1201 It's important to understand that neither coe nor fre is included in
1209 R ->fre W means that W overwrites the value which R reads, but it
1321 The formal definition of the prop relation involves a coe or fre link,
1381 F via a coe or fre link, an arbitrary number of cumul-fences, an
1402 link in the sequence is fre instead of coe.
1411 contradicting the fact that E ->fre W.
1437 load: an fre link from P0's load to P1's store (which overwrites the
1694 P1's load at Z reads from, so we have Z ->fre X and thus Z ->rcu-link X.
1777 definition of the prop relation makes the initial coe or fre part
1780 instances where the coe/fre part of prop is missing are of no interest