-asmlinkage void plat_irq_dispatch(struct pt_regs *regs)
-{
- unsigned int pending = read_c0_status() & read_c0_cause();
- static unsigned char led_cache;
-
- *(volatile unsigned char *) PCIMT_CSLED = ++led_cache;
-
- if (pending & 0x0800)
- pciasic_hwint1(regs);
- else if (pending & 0x4000)
- pciasic_hwint4(regs);
- else if (pending & 0x2000)
- pciasic_hwint3(regs);
- else if (pending & 0x1000)
- pciasic_hwint2(regs);
- else if (pending & 0x8000)
- pciasic_hwint5(regs);
- else if (pending & 0x0400)
- pciasic_hwint0(regs);
-}
-