2 * time.c: Generic SGI handler for (spurious) 8254 interrupts
4 * Copyright (C) 1996 David S. Miller (dm@engr.sgi.com)
6 #include <linux/interrupt.h>
7 #include <linux/kernel_stat.h>
8 #include <asm/sgialib.h>
10 void indy_8254timer_irq(void)
12 int cpu
= smp_processor_id();
17 printk("indy_8254timer_irq: Whoops, should not have gotten this IRQ\n");