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