enable_sched_clock_irqtime 1496 arch/x86/kernel/tsc.c 		enable_sched_clock_irqtime();
enable_sched_clock_irqtime   94 include/linux/sched/clock.h extern void enable_sched_clock_irqtime(void);
enable_sched_clock_irqtime  235 kernel/time/sched_clock.c 		enable_sched_clock_irqtime();