Lines Matching refs:RU
23 * RU Read-Unlocked: a spin_is_locked() event which returns False
27 * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
29 * LKW, LF, RL, and RU have no ordering properties.
34 let RU = try RU with emptyset
40 let ALL-LOCKS = LKR | LKW | UL | LF | RU | Srcu-lock | Srcu-unlock | Sync-srcu
59 * return True (no RU events can be in a critical section for the same lock).
61 empty ([LKW] ; po-loc ; [RU]) \ (po-loc ; [UL] ; po-loc) as nested-is-locked
70 let R = R | LKR | LF | RU
114 * A given RU event e may read internally from the last po-previous UL,
122 (* Compute set of sets of possible rf edges for RU events *)
127 (* Do this for each RU event e *)
128 in map set-of-singleton-rf-ru RU
130 (* Generate all rf relations for RU events *)