lock_impl          26 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_lock(struct lock_impl *lock)
lock_impl          31 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_unlock(struct lock_impl *lock)
lock_impl          36 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline bool lock_impl_trylock(struct lock_impl *lock)
lock_impl          47 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_init(struct lock_impl *lock)
lock_impl          61 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline bool lock_impl_trylock(struct lock_impl *lock)
lock_impl          79 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_lock(struct lock_impl *lock)
lock_impl          93 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_unlock(struct lock_impl *lock)
lock_impl         110 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_init(struct lock_impl *lock)
lock_impl         124 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	struct lock_impl internal_lock;
lock_impl          26 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c struct lock_impl cpu_preemption_locks[NR_CPUS] = {