Update tick-sched.c