Lines Matching full:marked

94 let to-r = (addr ; [R]) | (dep ; [Marked] ; rfi)
98 let A-cumul(r) = (rfe ; [Marked])? ; r
100 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
101 	po-unlock-lock-po) ; [Marked] ; rmw-sequence
102 let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ;
103 	[Marked] ; rfe? ; [Marked]
109 let hb = [Marked] ; (ppo | rfe | ((prop \ id) & int)) ; [Marked]
117 let pb = prop ; strong-fence ; hb* ; [Marked]
169 let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked]
186 (* Warn about plain writes and marked accesses in the same region *)
187 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
188 	([Marked] ; (po-loc \ barrier) ; [Plain & W])
193 let vis = cumul-fence* ; rfe? ; [Marked] ;
194 	((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
197 let w-pre-bounded = [Marked] ; (addr | fence)?
198 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
200 let w-post-bounded = fence? ; [Marked] ; rmw-sequence
202 	[Marked]
221 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)