Lines Matching refs:any

70 set for any lock-class:
90 finds such dependencies in arbitrary complexity, i.e. there can be any
95 between any two lock-classes:
106 The above rules are enforced for any locking sequence that occurs in the
108 any rule violation between the new lock and any of the held locks.
114   took any hardirq-unsafe lock in the past.
117   any softirq-unsafe lock in the past.
119 - if a new hardirq-unsafe lock is discovered, we check whether any
122 - if a new softirq-unsafe lock is discovered, we check whether any
179 combination and timing of these locking sequences can cause any class of
184 locking chains have to occur at least once (anytime, in any
200     part of the system corrupts the state of the validator in any way.
216 This problem is solved by checking any given 'locking scenario' (unique