-asmlinkage void plat_irq_dispatch(struct pt_regs *regs)
-{
- unsigned int pending = read_c0_status() & read_c0_cause();
-
- if (pending & STATUSF_IP2) /* int0 hardware line */
- do_IRQ(2, regs);
- else if (pending & STATUSF_IP3) /* int1 hardware line */
- do_IRQ(3, regs);
- else if (pending & STATUSF_IP4) /* int2 hardware line */
- do_IRQ(4, regs);
- else if (pending & STATUSF_IP5) /* int3 hardware line */
- do_IRQ(5, regs);
- else if (pending & STATUSF_IP6) /* int4 hardware line */
- do_IRQ(6, regs);
- else if (pending & STATUSF_IP7) /* cpu timer */
- do_IRQ(7, regs);
- else {
- /*
- * Now look at the extended interrupts
- */
- pending = (read_c0_cause() & (read_c0_intcontrol() << 8)) >> 16;
-
- if (pending & STATUSF_IP8) /* int6 hardware line */
- do_IRQ(8, regs);
- else if (pending & STATUSF_IP9) /* int7 hardware line */
- do_IRQ(9, regs);
- else if (pending & STATUSF_IP10) /* int8 hardware line */
- do_IRQ(10, regs);
- else if (pending & STATUSF_IP11) /* int9 hardware line */
- do_IRQ(11, regs);
- }
-}