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