Lines Matching full:gp
64 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
65 let strong-fence = mb | gp
134 let rcu-gp = [Sync-rcu] (* Compare with gp *)
135 let srcu-gp = [Sync-srcu]
154 let rec rcu-order = rcu-gp | srcu-gp |
155 (rcu-gp ; rcu-link ; rcu-rscsi) |
156 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) |
157 (rcu-rscsi ; rcu-link ; rcu-gp) |
158 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) |
159 (rcu-gp ; rcu-link ; rcu-order ; rcu-link ; rcu-rscsi) |
160 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) |
161 (rcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; rcu-gp) |
162 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |