+asmlinkage void plat_irq_dispatch(void)
+{
+ unsigned int pending = read_c0_cause() & read_c0_status() & ST0_IM;
+
+ if (pending & CAUSEF_IP7)
+ do_IRQ(7);
+ else if (pending & 0x7800) {
+ if (pending & CAUSEF_IP3)
+ irq_dispatch(3);
+ else if (pending & CAUSEF_IP4)
+ irq_dispatch(4);
+ else if (pending & CAUSEF_IP5)
+ irq_dispatch(5);
+ else if (pending & CAUSEF_IP6)
+ irq_dispatch(6);
+ } else if (pending & CAUSEF_IP2)
+ irq_dispatch(2);
+ else if (pending & CAUSEF_IP0)
+ do_IRQ(0);
+ else if (pending & CAUSEF_IP1)
+ do_IRQ(1);
+ else
+ spurious_interrupt();
+}