Symbol: __tick_nohz_full_update_tick
kernel/time/tick-sched.c
1158
__tick_nohz_full_update_tick(ts, ktime_get());
kernel/time/tick-sched.c
1455
__tick_nohz_full_update_tick(ts, now);