CONFIG_RCU_BOOST_DELAY   51 kernel/rcu/tree_plugin.h 		kthread_prio, CONFIG_RCU_BOOST_DELAY);
CONFIG_RCU_BOOST_DELAY 1099 kernel/rcu/tree_plugin.h #define RCU_BOOST_DELAY_JIFFIES DIV_ROUND_UP(CONFIG_RCU_BOOST_DELAY * HZ, 1000)