Lines Matching refs:loc

41 flag ~empty [M \ IW] ; 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
58 flag ~empty [FW] ; loc ; [ALL-LOCKS] as lock-final
71 let critical = ([LKW] ; po-loc ; [UL]) \ (po-loc ; [LKW | UL] ; po-loc)
77 empty ([UNMATCHED-LKW] ; loc ; [UNMATCHED-LKW]) \ id as unmatched-locks
80 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
91 		in map pair-to-relation ((LKW * {r}) & loc & ext)
106 let rfi-ru = ([UL] ; po-loc ; [RU]) \ ([UL] ; po-loc ; [LKW] ; po-loc)
112 		in map pair-to-relation (((UL | IW) * {r}) & loc & ext)
123 let co0 = co0 | ([IW] ; loc ; [LKW]) |
124 	(([LKW] ; loc ; [UNMATCHED-LKW]) \ [UNMATCHED-LKW])