internal_lock     124 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	struct lock_impl internal_lock;
internal_lock     127 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h #define SPIN_LOCK_UNLOCKED {.internal_lock = LOCK_IMPL_INITIALIZER}
internal_lock     133 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	lock_impl_init(&lock->internal_lock);
internal_lock     144 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	lock_impl_lock(&lock->internal_lock);
internal_lock     151 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	lock_impl_unlock(&lock->internal_lock);
internal_lock     170 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	return lock_impl_trylock(&lock->internal_lock);