Lines Matching refs:rcu
34 let gp = po ; [Sync-rcu] ; po?
103 let rcu-link = hb* ; pb* ; prop
107 * critical sections (joined by rcu-link) acts as a generalized strong fence.
109 let rec rcu-fence = gp |
110 (gp ; rcu-link ; rscs) |
111 (rscs ; rcu-link ; gp) |
112 (gp ; rcu-link ; rcu-fence ; rcu-link ; rscs) |
113 (rscs ; rcu-link ; rcu-fence ; rcu-link ; gp) |
114 (rcu-fence ; rcu-link ; rcu-fence)
117 let rb = prop ; rcu-fence ; hb* ; pb*
119 irreflexive rb as rcu
122 * The happens-before, propagation, and rcu constraints are all