Symbol: rcu_do_batch
kernel/rcu/tree.c
2897
rcu_do_batch(rdp);
kernel/rcu/tree_nocb.h
917
rcu_do_batch(rdp);