lock_impl_init     47 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_init(struct lock_impl *lock)
lock_impl_init    110 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void lock_impl_init(struct lock_impl *lock)