This patch set trys to convert GIC to ACPI which based on patches from Amit, I rework two patches from him and fix two minor bugs :)
In MADT table, there are GIC cpu interface base address and GIC distributor base address, use them to convert GIC to ACPI.
GIC should be converted after all the devices refer to GIC are converted. So I hack some code to test this patch set.
Amit Daniel Kachhap (2): irqdomain: Add a new API irq_create_acpi_mapping ACPI: ARM: Update acpi_register_gsi to register with the core IRQ subsystem
Hanjun Guo (3): irqchip / GIC: do not set default host for GIC domain multi-times when ACPI enabled ARM / GIC: convert GIC to ACPI using the information in MADT ACPI / timer: hack to test GIC in ACPI mode
arch/arm64/kernel/irq.c | 4 ++ drivers/acpi/plat/arm/boot.c | 100 +++++++++++++++++++++++++++++----- drivers/clocksource/arm_arch_timer.c | 11 +++- drivers/irqchip/irq-gic.c | 9 ++- include/linux/acpi.h | 3 + kernel/irq/irqdomain.c | 27 +++++++++ 6 files changed, 133 insertions(+), 21 deletions(-)