print_rt_stats    671 kernel/sched/debug.c 	print_rt_stats(m, cpu);
print_rt_stats   2185 kernel/sched/sched.h extern void print_rt_stats(struct seq_file *m, int cpu);