Lines Matching refs:strong
43 let strong-fence = mb | gp
45 let nonrw-fence = strong-fence | po-rel | acq-po
75 (* Propagation: Ordering from release operations and strong fences. *)
77 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
93 (* Propagation: Each non-rf link needs a strong fence. *)
94 let pb = prop ; strong-fence ; hb* ; [Marked]
117 * The synchronize_rcu() strong fence is special in that it can order not
126 * inter-CPU strong fence.
143 let strong-fence = strong-fence | rcu-fence
171 ((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |