hpet_rtc_interrupt 1239 arch/x86/kernel/hpet.c irqreturn_t hpet_rtc_interrupt(int irq, void *dev_id) hpet_rtc_interrupt 115 drivers/char/rtc.c static irqreturn_t hpet_rtc_interrupt(int irq, void *dev_id)