Lines Matching refs:fence
43 let strong-fence = mb | gp
45 let nonrw-fence = strong-fence | po-rel | acq-po
46 let fence = nonrw-fence | wmb | rmb
73 let ppo = to-r | to-w | fence | (po-unlock-rf-lock-po & int)
77 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
79 let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ;
90 (* Write and fence propagation ordering *)
93 (* Propagation: Each non-rf link needs a strong fence. *)
94 let pb = prop ; strong-fence ; hb* ; [Marked]
106 * In the definition of rcu-fence below, the po term at the left-hand side
117 * The synchronize_rcu() strong fence is special in that it can order not
126 * inter-CPU strong fence.
141 let rcu-fence = po ; rcu-order ; po?
142 let fence = fence | rcu-fence
143 let strong-fence = strong-fence | rcu-fence
146 let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked]
170 let vis = cumul-fence* ; rfe? ; [Marked] ;
171 ((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
174 let w-pre-bounded = [Marked] ; (addr | fence)?
175 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
177 let w-post-bounded = fence? ; [Marked]
178 let r-post-bounded = (nonrw-fence | ([~Noreturn] ; fencerel(Rmb) ; [R4rmb]))? ;
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
186 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)