lock_impl_lock    144 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h 	lock_impl_lock(&lock->internal_lock);
lock_impl_lock     68 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]);