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);