On Fri, Jul 10, 2015 at 5:45 AM, Hanjun Guo [off-list ref] wrote:

+void __init acpi_irqchip_init(void)
+{
+       struct acpi_table_id *id;
+
+       if (acpi_disabled)
+               return;
+
+       if (acpi_gic_version_init())
+               return;
+
+       /* scan the irqchip table to match the GIC version and its driver */
+       for (id = __irqchip_acpi_table; id->id[0]; id++) {
+               if (gic_version == (u8)id->driver_data)
+                       acpi_table_parse(id->id,
+                                        (acpi_tbl_table_handler)id->handler);
+       }

Should we display an error message if we don't find a matching table?
That can happen if the ACPI tables shows a GIC version number that is
not listed in __irqchip_acpi_table[]?