tick_get_tick_sched
struct tick_sched *ts = tick_get_tick_sched(cpu);
extern struct tick_sched *tick_get_tick_sched(int cpu);