Lines Matching refs:srcu
63 ([M] ; po? ; [Srcu-unlock] ; fencerel(After-srcu-read-unlock) ; [M])
64 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
69 let barrier = fencerel(Barrier | Rmb | Wmb | Mb | Sync-rcu | Sync-srcu |
135 let srcu-gp = [Sync-srcu]
137 let srcu-rscsi = srcu-rscs^-1
154 let rec rcu-order = rcu-gp | srcu-gp |
156 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) |
158 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) |
160 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) |
162 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |