pit_disable_clocksource   22 arch/x86/kernel/i8253.c static void pit_disable_clocksource(void);
pit_disable_clocksource   59 arch/x86/kernel/i8253.c 		pit_disable_clocksource();
pit_disable_clocksource   64 arch/x86/kernel/i8253.c 		pit_disable_clocksource();