rnp_index 1116 kernel/rcu/tree_plugin.h int rnp_index = rnp - rcu_get_root(); rnp_index 1133 kernel/rcu/tree_plugin.h "rcub/%d", rnp_index);