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