this_cpu_add_helper_temp   51 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		typeof(*ptr) this_cpu_add_helper_temp; \
this_cpu_add_helper_temp   53 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		this_cpu_add_helper_temp = *(this_cpu_add_helper_ptr); \
this_cpu_add_helper_temp   55 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		this_cpu_add_helper_temp += this_cpu_add_helper_x; \
this_cpu_add_helper_temp   57 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		*(this_cpu_add_helper_ptr) = this_cpu_add_helper_temp; \