Lines Matching refs:Srcu

54 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu
72 (* Compute matching pairs of nested Srcu-lock and Srcu-unlock *)
73 let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
74 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc
77 flag ~empty Srcu-lock \ domain(srcu-rscs) as unmatched-srcu-lock
78 flag ~empty Srcu-unlock \ range(srcu-rscs) as unmatched-srcu-unlock
89 		LKR | LKW | UL | LF | RL | RU | Srcu-lock | Srcu-unlock
93 let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*