Lines Matching refs:po

28 let acq-po = [Acquire] ; po ; [M]
29 let po-rel = [M] ; po ; [Release]
30 let po-unlock-lock-po = po ; [UL] ; (po|rf) ; [LKR] ; po
37 	([M] ; fencerel(Before-atomic) ; [RMW] ; po? ; [M]) |
38 	([M] ; po? ; [RMW] ; fencerel(After-atomic) ; [M]) |
39 	([M] ; po? ; [LKW] ; fencerel(After-spinlock) ; [M]) |
41  * Note: The po-unlock-lock-po relation only passes the lock to the direct
51 	([M] ; po-unlock-lock-po ;
52 		[After-unlock-lock] ; po ; [M]) |
53 	([M] ; po? ; [Srcu-unlock] ; fencerel(After-srcu-read-unlock) ; [M])
54 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
57 let nonrw-fence = strong-fence | po-rel | acq-po
62 	(po ; [Release]) | ([Acquire] ; po)
70 acyclic po-loc | com as coherence
85 let ppo = to-r | to-w | (fence & int) | (po-unlock-lock-po & int)
90 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
91 	po-unlock-lock-po) ; [Marked] ; rmw-sequence
119  * In the definition of rcu-fence below, the po term at the left-hand side
120  * of each disjunct and the po? term at the right-hand end have been factored
134 let rcu-link = po? ; hb* ; pb* ; prop ; po
154 let rcu-fence = po ; rcu-order ; po?
177 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
178 	([Marked] ; (po-loc \ barrier) ; [Plain & W])