__tick_nohz_full_update_tick
__tick_nohz_full_update_tick(ts, ktime_get());
__tick_nohz_full_update_tick(ts, now);