Lines Matching full:rcu
28 'rcu-lock (*rcu_read_lock*) ||
29 'rcu-unlock (*rcu_read_unlock*) ||
30 'sync-rcu (*synchronize_rcu*) ||
43 (* Compute matching pairs of nested Rcu-lock and Rcu-unlock *)
44 let rcu-rscs = let rec
45 unmatched-locks = Rcu-lock \ domain(matched)
46 and unmatched-unlocks = Rcu-unlock \ range(matched)
56 flag ~empty Rcu-lock \ domain(rcu-rscs) as unbalanced-rcu-locking
57 flag ~empty Rcu-unlock \ range(rcu-rscs) as unbalanced-rcu-locking
75 (* Check for use of synchronize_srcu() inside an RCU critical section *)
76 flag ~empty rcu-rscs & (po ; [Sync-srcu] ; po) as invalid-sleep