Searched refs:txx9_irq_dispatch (Results 1 – 6 of 6) sorted by relevance
86 txx9_irq_dispatch = rbtx4939_irq_dispatch; in rbtx4939_irq_setup()
193 txx9_irq_dispatch = rbtx4927_irq_dispatch; in rbtx4927_irq_setup()
143 txx9_irq_dispatch = rbtx4938_irq_dispatch; in rbtx4938_irq_setup()
106 txx9_irq_dispatch = jmr3927_irq_dispatch; in jmr3927_irq_setup()
44 extern int (*txx9_irq_dispatch)(int pending);
575 int (*txx9_irq_dispatch)(int pending); variable579 int irq = txx9_irq_dispatch(pending); in plat_irq_dispatch()