Lines Matching full:rcu
29 'rcu-lock (*rcu_read_lock*) ||
30 'rcu-unlock (*rcu_read_unlock*) ||
31 'sync-rcu (*synchronize_rcu*) ||
56 (* Compute matching pairs of nested Rcu-lock and Rcu-unlock *)
57 let rcu-rscs = let rec
58 unmatched-locks = Rcu-lock \ domain(matched)
59 and unmatched-unlocks = Rcu-unlock \ range(matched)
69 flag ~empty Rcu-lock \ domain(rcu-rscs) as unmatched-rcu-lock
70 flag ~empty Rcu-unlock \ range(rcu-rscs) as unmatched-rcu-unlock
81 (* Check for use of synchronize_srcu() inside an RCU critical section *)
82 flag ~empty rcu-rscs & (po ; [Sync-srcu] ; po) as invalid-sleep