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
42 * the same ordering as though there were additional po edges
45 ([M] ; po ; [Mb & R]) |
46 ([Mb & W] ; po ; [M]) |
47 ([M] ; fencerel(Before-atomic) ; [RMW] ; po? ; [M]) |
48 ([M] ; po? ; [RMW] ; fencerel(After-atomic) ; [M]) |
49 ([M] ; po? ; [LKW] ; fencerel(After-spinlock) ; [M]) |
51 * Note: The po-unlock-lock-po relation only passes the lock to the direct
61 ([M] ; po-unlock-lock-po ;
62 [After-unlock-lock] ; po ; [M]) |
63 ([M] ; po? ; [Srcu-unlock] ; fencerel(After-srcu-read-unlock) ; [M])
64 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
67 let nonrw-fence = strong-fence | po-rel | acq-po
72 (po ; [Release]) | ([Acquire] ; po)
80 acyclic po-loc | com as coherence
95 let ppo = to-r | to-w | (fence & int) | (po-unlock-lock-po & int)
100 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
101 po-unlock-lock-po) ; [Marked] ; rmw-sequence
129 * In the definition of rcu-fence below, the po term at the left-hand side
130 * of each disjunct and the po? term at the right-hand end have been factored
144 let rcu-link = po? ; hb* ; pb* ; prop ; po
164 let rcu-fence = po ; rcu-order ; po?
187 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
188 ([Marked] ; (po-loc \ barrier) ; [Plain & W])