old_locked         68 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	bool old_locked = lock->locked;
old_locked         75 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	return !old_locked;
old_locked        102 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	bool old_locked = lock->locked;
old_locked        106 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	BUG_ON(!old_locked);