Lines Matching full:marked

84 let to-r = (addr ; [R]) | (dep ; [Marked] ; rfi)
88 let A-cumul(r) = (rfe ; [Marked])? ; r
90 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
91 	po-unlock-lock-po) ; [Marked] ; rmw-sequence
92 let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ;
93 	[Marked] ; rfe? ; [Marked]
99 let hb = [Marked] ; (ppo | rfe | ((prop \ id) & int)) ; [Marked]
107 let pb = prop ; strong-fence ; hb* ; [Marked]
159 let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked]
176 (* Warn about plain writes and marked accesses in the same region *)
177 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
178 	([Marked] ; (po-loc \ barrier) ; [Plain & W])
183 let vis = cumul-fence* ; rfe? ; [Marked] ;
184 	((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
187 let w-pre-bounded = [Marked] ; (addr | fence)?
188 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
190 let w-post-bounded = fence? ; [Marked] ; rmw-sequence
192 	[Marked]
211 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)