do_sched_rt_period_timer  170 kernel/sched.c static int do_sched_rt_period_timer(struct rt_bandwidth *rt_b, int overrun);
do_sched_rt_period_timer  187 kernel/sched.c 		idle = do_sched_rt_period_timer(rt_b, overrun);