+asmlinkage void plat_irq_dispatch(void)
+{
+ unsigned int pending = read_c0_cause() & read_c0_status();
+
+ if (pending & STATUSF_IP2)
+ do_IRQ(2);
+ else if (pending & STATUSF_IP3)
+ do_IRQ(3);
+ else if (pending & STATUSF_IP4)
+ do_IRQ(4);
+ else if (pending & STATUSF_IP5)
+ do_IRQ(5);
+ else if (pending & STATUSF_IP6)
+ do_IRQ(6);
+ else if (pending & STATUSF_IP7)
+ do_IRQ(7);
+ else {
+ /*
+ * Now look at the extended interrupts
+ */
+ pending = (read_c0_cause() & (read_c0_intcontrol() << 8)) >> 16;
+
+ if (pending & STATUSF_IP8)
+ do_IRQ(8);
+ else if (pending & STATUSF_IP9)
+ do_IRQ(9);
+ else if (pending & STATUSF_IP10)
+ do_IRQ(10);
+ else if (pending & STATUSF_IP11)
+ do_IRQ(11);
+ else
+ spurious_interrupt();
+ }
+}
+