Searched refs:SGI_8254_0_IRQ (Results 1 – 2 of 2) sorted by relevance
43 #define SGI_8254_0_IRQ SGINT_CPU + 4 macro
120 int irq = SGI_8254_0_IRQ; in indy_8254timer_irq()