Lines Matching refs:LF

21  * LF		Lock-Fail: a failed spin_trylock() event
27  * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
29  * LKW, LF, RL, and RU have no ordering properties.
36 (* Treat RL as a kind of LF: a read with no ordering properties *)
37 let LF = LF | RL
40 let ALL-LOCKS = LKR | LKW | UL | LF | RU | Srcu-lock | Srcu-unlock | Sync-srcu
70 let R = R | LKR | LF | RU
85 (* rfi for LF events: link each LKW to the LF events in its critical section *)
86 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
92  * If a given LF event e is outside a critical section, it cannot read
98 (* Compute set of sets of possible rfe edges for LF events *)
106 	(* Do this for each LF event e that isn't in rfi-lf *)
107 	in map set-of-singleton-rfe-lf (LF \ range(rfi-lf))
109 (* Generate all rf relations for LF events *)