Lines Matching refs:loc
41 flag ~empty [M \ IW \ ALL-LOCKS] ; loc ; [ALL-LOCKS] as mixed-lock-accesses
44 let lk-rmw = ([LKR] ; po-loc ; [LKW]) \ (po ; po)
55 empty ([LKW] ; po-loc ; [LKR]) \ (po-loc ; [UL] ; po-loc) as lock-nest
61 empty ([LKW] ; po-loc ; [RU]) \ (po-loc ; [UL] ; po-loc) as nested-is-locked
64 flag ~empty [FW] ; loc ; [ALL-LOCKS] as lock-final
77 let critical = ([LKW] ; po-loc ; [UL]) \ (po-loc ; [LKW | UL] ; po-loc)
83 empty ([UNMATCHED-LKW] ; loc ; [UNMATCHED-LKW]) \ id as unmatched-locks
86 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
96 let possible-rfe-noncrit-lf e = (LKW * {e}) & loc & ext
118 let possible-rf-ru e = (((UL * {e}) & po-loc) \
119 ([UL] ; po-loc ; [UL] ; po-loc)) |
120 (((UL | IW) * {e}) & loc & ext)
137 let co0 = co0 | ([IW] ; loc ; [LKW]) |
138 (([LKW] ; loc ; [UNMATCHED-LKW]) \ [UNMATCHED-LKW])