Lines Matching full:marked

72 let to-r = addr | (dep ; [Marked] ; rfi)
76 let A-cumul(r) = (rfe ; [Marked])? ; r
77 let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb |
78 	po-unlock-rf-lock-po) ; [Marked]
79 let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ;
80 	[Marked] ; rfe? ; [Marked]
86 let hb = [Marked] ; (ppo | rfe | ((prop \ id) & int)) ; [Marked]
94 let pb = prop ; strong-fence ; hb* ; [Marked]
146 let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked]
163 (* Warn about plain writes and marked accesses in the same region *)
164 let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) |
165 	([Marked] ; (po-loc \ barrier) ; [Plain & W])
170 let vis = cumul-fence* ; rfe? ; [Marked] ;
171 	((strong-fence ; [Marked] ; xbstar) | (xbstar & int))
174 let w-pre-bounded = [Marked] ; (addr | fence)?
175 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
177 let w-post-bounded = fence? ; [Marked]
179 	[Marked]
198 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)