Lines Matching full:strong

55 let strong-fence = mb | gp
57 let nonrw-fence = strong-fence | po-rel | acq-po
87 (* Propagation: Ordering from release operations and strong fences. *)
90 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
106 (* Propagation: Each non-rf link needs a strong fence. *)
107 let pb = prop ; strong-fence ; hb* ; [Marked]
130  * The synchronize_rcu() strong fence is special in that it can order not
139  * inter-CPU strong fence.
156 let strong-fence = strong-fence | rcu-fence
184 	((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
195 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
197 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |