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
64 let R = R | LKR | LF | RU
79 (* rfi for LF events: link each LKW to the LF events in its critical section *)
80 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
82 (* rfe for LF events *)
85 * Given an LF event r, compute the possible rfe edges for that event
92 (* Do this for each LF event r that isn't in rfi-lf *)
93 in map possible-rfe-lf (LF \ range(rfi-lf))
95 (* Generate all rf relations for LF events *)