cpu_preemption_locks   26 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c struct lock_impl cpu_preemption_locks[NR_CPUS] = {
cpu_preemption_locks   68 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]);
cpu_preemption_locks   78 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	lock_impl_unlock(&cpu_preemption_locks[thread_cpu_id]);