Symbol: print_rt_stats
kernel/sched/debug.c
1081
print_rt_stats(m, cpu);
kernel/sched/sched.h
3318
extern void print_rt_stats(struct seq_file *m, int cpu);