Lines Matching full:gp
42 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
43 let strong-fence = mb | gp
111 let rcu-gp = [Sync-rcu] (* Compare with gp *)
112 let srcu-gp = [Sync-srcu]
131 let rec rcu-order = rcu-gp | srcu-gp |
132 (rcu-gp ; rcu-link ; rcu-rscsi) |
133 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) |
134 (rcu-rscsi ; rcu-link ; rcu-gp) |
135 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) |
136 (rcu-gp ; rcu-link ; rcu-order ; rcu-link ; rcu-rscsi) |
137 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) |
138 (rcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; rcu-gp) |
139 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |