rtc_timer_interrupt  218 arch/alpha/kernel/irq_alpha.c 	.handler	= rtc_timer_interrupt,
rtc_timer_interrupt  144 arch/alpha/kernel/proto.h extern irqreturn_t rtc_timer_interrupt(int irq, void *dev);