hpet_disable_rtc_channel 1141 arch/x86/kernel/hpet.c hpet_disable_rtc_channel(); hpet_disable_rtc_channel 1214 arch/x86/kernel/hpet.c hpet_disable_rtc_channel();