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
64 let R = R | LKR | LF | RU
100 * RU, i.e., spin_is_locked() returning False, is slightly different.
105 (* rfi for RU events: an RU may read from the last po-previous UL *)
106 let rfi-ru = ([UL] ; po-loc ; [RU]) \ ([UL] ; po-loc ; [LKW] ; po-loc)
108 (* rfe for RU events: an RU may read from an external UL or the initial write *)
113 in map possible-rfe-ru RU
115 (* Generate all rf relations for RU events *)