Searched refs:txx9_irq_dispatch (Results 1 – 3 of 3) sorted by relevance
193 txx9_irq_dispatch = rbtx4927_irq_dispatch; in rbtx4927_irq_setup()
44 extern int (*txx9_irq_dispatch)(int pending);
506 int (*txx9_irq_dispatch)(int pending); variable510 int irq = txx9_irq_dispatch(pending); in plat_irq_dispatch()