+ 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();
+ else if (pending & 0x4000)
+ pciasic_hwint4();
+ else if (pending & 0x2000)
+ pciasic_hwint3();
+ else if (pending & 0x1000)
+ pciasic_hwint2();
+ else if (pending & 0x8000)
+ pciasic_hwint5();
+ else if (pending & 0x0400)
+ pciasic_hwint0();
+}