rcu_do_batch     2378 kernel/rcu/tree.c 		rcu_do_batch(rdp);
rcu_do_batch     2102 kernel/rcu/tree_plugin.h 	rcu_do_batch(rdp);