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)