Lines Matching refs:po
28 let acq-po = [Acquire] ; po ; [M]
29 let po-rel = [M] ; po ; [Release]
30 let po-unlock-rf-lock-po = po ; [UL] ; 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]) |
40 ([M] ; po ; [UL] ; (co | po) ; [LKW] ;
42 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
45 let nonrw-fence = strong-fence | po-rel | acq-po
50 (po ; [Release]) | ([Acquire] ; po)
58 acyclic po-loc | com as coherence
73 let ppo = to-r | to-w | fence | (po-unlock-rf-lock-po & int)
77 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
78 po-unlock-rf-lock-po) ; [Marked]
106 * In the definition of rcu-fence below, the po term at the left-hand side
107 * of each disjunct and the po? term at the right-hand end have been factored
121 let rcu-link = po? ; hb* ; pb* ; prop ; po
141 let rcu-fence = po ; rcu-order ; po?
164 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
165 ([Marked] ; (po-loc \ barrier) ; [Plain & W])