Symbol: __sched_core_tick
kernel/sched/sched.h
3383
extern void __sched_core_tick(struct rq *rq);
kernel/sched/sched.h
3388
__sched_core_tick(rq);