lock_impl_trylock   85 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	assume(lock_impl_trylock(lock));
lock_impl_trylock  170 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	return lock_impl_trylock(&lock->internal_lock);