sysrq_sched_debug_show 5998 kernel/sched/core.c 		sysrq_sched_debug_show();
sysrq_sched_debug_show 1867 kernel/sched/sched.h extern void sysrq_sched_debug_show(void);