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