lock_impl_trylock   36 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline bool lock_impl_trylock(struct lock_impl *lock)
lock_impl_trylock   61 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline bool lock_impl_trylock(struct lock_impl *lock)