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
--
To unsubscribe from this list: send the line "unsubscribe linux-acpi" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
