+static char r7780rp_irq_tab[] __initdata = {
+ 0, 1, 2, 3,
+};
+
+static char r7780mp_irq_tab[] __initdata = {
+ 65, 66, 67, 68,
+};
+
+static char r7785rp_irq_tab[][4] __initdata = {
+ { 65, 66, 67, 68 }, /* INT ABCD */
+ { 66, 67, 68, 65 }, /* INT BCDA */
+ { 67, 68, 65, 66 }, /* INT CDAB */
+ { 68, 65, 66, 67 }, /* INT DABC */
+ { 64, 64, 64, 64 }, /* PCI Host */
+};
+