Symbol: tick_nohz_account_idle_time
kernel/time/tick-sched.c
1448
tick_nohz_account_idle_time(ts, now);
kernel/time/tick-sched.c
1459
tick_nohz_account_idle_time(ts, now);