batchsummary     1404 kernel/rcu/rcutorture.c 	long batchsummary[RCU_TORTURE_PIPE_LEN + 1] = { 0 };
batchsummary     1412 kernel/rcu/rcutorture.c 			batchsummary[i] += per_cpu(rcu_torture_batch, cpu)[i];
batchsummary     1463 kernel/rcu/rcutorture.c 		pr_cont(" %ld", batchsummary[i]);