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();