Searched refs:SGI_TIMER_IRQ (Results 1 – 2 of 2) sorted by relevance
46 #define SGI_TIMER_IRQ SGINT_CPU + 7 macro
236 do_IRQ(SGI_TIMER_IRQ); in plat_irq_dispatch()