Lines Matching refs:unlock
29 'rcu-unlock (*rcu_read_unlock*) ||
34 'after-unlock-lock (*smp_mb__after_unlock_lock*) ||
35 'after-srcu-read-unlock (*smp_mb__after_srcu_read_unlock*)
39 enum SRCU = 'srcu-lock || 'srcu-unlock || 'sync-srcu
42 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu
44 (* Compute matching pairs of nested Rcu-lock and Rcu-unlock *)
47 and unmatched-unlocks = Rcu-unlock \ range(matched)
58 flag ~empty Rcu-unlock \ range(rcu-rscs) as unmatched-rcu-unlock
60 (* Compute matching pairs of nested Srcu-lock and Srcu-unlock *)
61 let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
62 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc
66 flag ~empty Srcu-unlock \ range(srcu-rscs) as unmatched-srcu-unlock
77 LKR | LKW | UL | LF | RL | RU | Srcu-lock | Srcu-unlock
81 let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*