sched_clock_init 1562 include/linux/sched.h extern void sched_clock_init(void); sched_clock_init 610 init/main.c sched_clock_init();