PERCPU_OFFSET      29 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 	((typeof(ptr)) ((char *) (ptr) + PERCPU_OFFSET * cpu))
PERCPU_OFFSET      86 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 	char name[NR_CPUS][PERCPU_OFFSET]; \
PERCPU_OFFSET      88 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h 		[sizeof(type) > PERCPU_OFFSET ? -1 : 1]