Lines Matching refs:unlock
30 'rcu-unlock (*rcu_read_unlock*) ||
35 'after-unlock-lock (*smp_mb__after_unlock_lock*) ||
36 'after-srcu-read-unlock (*smp_mb__after_srcu_read_unlock*)
51 enum SRCU = 'srcu-lock || 'srcu-unlock || 'sync-srcu
54 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu
56 (* Compute matching pairs of nested Rcu-lock and Rcu-unlock *)
59 and unmatched-unlocks = Rcu-unlock \ range(matched)
70 flag ~empty Rcu-unlock \ range(rcu-rscs) as unmatched-rcu-unlock
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
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)*