Lines Matching full:gp
54 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
55 let strong-fence = mb | gp
124 let rcu-gp = [Sync-rcu] (* Compare with gp *)
125 let srcu-gp = [Sync-srcu]
144 let rec rcu-order = rcu-gp | srcu-gp |
145 (rcu-gp ; rcu-link ; rcu-rscsi) |
146 ((srcu-gp ; rcu-link ; srcu-rscsi) & loc) |
147 (rcu-rscsi ; rcu-link ; rcu-gp) |
148 ((srcu-rscsi ; rcu-link ; srcu-gp) & loc) |
149 (rcu-gp ; rcu-link ; rcu-order ; rcu-link ; rcu-rscsi) |
150 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) |
151 (rcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; rcu-gp) |
152 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |