THIS_CPU_ADD_HELPER   69 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \
THIS_CPU_ADD_HELPER   76 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), this_cpu_add_impl_cpu), \