__hrtick_restart  270 kernel/sched/core.c 	__hrtick_restart(rq);
__hrtick_restart  296 kernel/sched/core.c 		__hrtick_restart(rq);