Lines Matching refs:unmatched
58 unmatched-locks = Rcu-lock \ domain(matched)
59 and unmatched-unlocks = Rcu-unlock \ range(matched)
60 and unmatched = unmatched-locks | unmatched-unlocks
61 and unmatched-po = [unmatched] ; po ; [unmatched]
62 and unmatched-locks-to-unlocks =
63 [unmatched-locks] ; po ; [unmatched-unlocks]
64 and matched = matched | (unmatched-locks-to-unlocks \
65 (unmatched-po ; unmatched-po))
69 flag ~empty Rcu-lock \ domain(rcu-rscs) as unmatched-rcu-lock
70 flag ~empty Rcu-unlock \ range(rcu-rscs) as unmatched-rcu-unlock
77 flag ~empty Srcu-lock \ domain(srcu-rscs) as unmatched-srcu-lock
78 flag ~empty Srcu-unlock \ range(srcu-rscs) as unmatched-srcu-unlock