thread_cpu_id      69 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \
thread_cpu_id      55 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c __thread int thread_cpu_id;
thread_cpu_id      65 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	thread_cpu_id = nondet_int();
thread_cpu_id      66 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	assume(thread_cpu_id >= 0);
thread_cpu_id      67 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	assume(thread_cpu_id < NR_CPUS);
thread_cpu_id      68 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]);
thread_cpu_id      78 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	lock_impl_unlock(&cpu_preemption_locks[thread_cpu_id]);
thread_cpu_id      10 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h extern __thread int thread_cpu_id;
thread_cpu_id      46 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h 	return thread_cpu_id;