On 11/11/2013 06:05 AM, Hanjun Guo wrote:
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(-)
Oh, I *like* these since GPIO needs a GIC to work right :).
Is this for GICv2 only? There are discussions about changing the MADT for GICv3 but it's not clear to me these patches would need to change until that discussion is finished.
Otherwise, I like it! Go for it.
Reviewed-by: Al Stone al.stone@linaro.org