this_cpu_add_helper_ptr   49 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		typeof(ptr) this_cpu_add_helper_ptr = (ptr); \
this_cpu_add_helper_ptr   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_ptr   57 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		*(this_cpu_add_helper_ptr) = this_cpu_add_helper_temp; \