Searched refs:SGI_TIMER_IRQ (Results 1 – 3 of 3) sorted by relevance
202 int irq = SGI_TIMER_IRQ; in indy_r4k_timer_interrupt()221 setup_irq(SGI_TIMER_IRQ, irq); in indy_timer_setup()
45 #define SGI_TIMER_IRQ SGINT_CPU + 7 macro