[PATCH v7 13/17] ARM64 / ACPI: Add GICv2 specific ACPI boot support

Hanjun Guo
2015-01-22T12:46:43Z

Hi Marc,

We (Tomasz, Suravee and me) are working on supporting stacked domain on
ACPI, and rework GIC ACPI related patch, before we going further, we
need your guidance to see if we are going the right direction.

- You said that we spread GIC related code every where, so how
about put all the ACPI related GIC init code in one file under
drivers/irqchip/ with name irq-gic-acpi.c?

- ACPI only support one GICD for now, so we assume that there
only one gicv2/v3 core domain and every device not using MSI
will refer to that irqdomain in default.

Are we going the right direction?

Thanks
Hanjun