tick_nohz_full_enabled
if (tick_nohz_full_enabled()) {
if (tick_nohz_full_enabled()) \
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled()) {
if (tick_nohz_full_enabled()) {
if (tick_nohz_full_enabled() && rcu_inkernel_boot_has_ended()) {
if (!tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled())
if (tick_nohz_full_enabled()) {
if (tick_nohz_full_enabled())