Lines Matching refs:lock
28 'rcu-lock (*rcu_read_lock*) ||
34 'after-unlock-lock (*smp_mb__after_unlock_lock*) ||
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 *)
46 unmatched-locks = Rcu-lock \ domain(matched)
57 flag ~empty Rcu-lock \ domain(rcu-rscs) as unmatched-rcu-lock
60 (* Compute matching pairs of nested Srcu-lock and Srcu-unlock *)
62 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc
65 flag ~empty Srcu-lock \ domain(srcu-rscs) as unmatched-srcu-lock
77 LKR | LKW | UL | LF | RL | RU | Srcu-lock | Srcu-unlock