Searched refs:indy_8254timer_irq (Results 1 – 2 of 2) sorted by relevance
168 extern void indy_8254timer_irq(void);214 indy_8254timer_irq(); in plat_irq_dispatch()
119 void __irq_entry indy_8254timer_irq(void) in indy_8254timer_irq() function
