From: Graeme Gregory graeme.gregory@linaro.org
Use the default domain to do IRQ mapping. This should be the GIC on the platforms we are using.
Signed-off-by: Graeme Gregory graeme.gregory@linaro.org --- arch/arm/kernel/acpi/boot.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/arch/arm/kernel/acpi/boot.c b/arch/arm/kernel/acpi/boot.c index 496feb5..8848024 100644 --- a/arch/arm/kernel/acpi/boot.c +++ b/arch/arm/kernel/acpi/boot.c @@ -35,6 +35,7 @@ #include <linux/memblock.h> #include <linux/module.h> #include <linux/irq.h> +#include <linux/irqdomain.h> #include <linux/slab.h> #include <linux/bootmem.h> #include <linux/ioport.h> @@ -90,7 +91,9 @@ enum acpi_irq_model_id acpi_irq_model = ACPI_IRQ_MODEL_GIC;
static unsigned int gsi_to_irq(unsigned int gsi) { - return gsi; + int irq = irq_create_mapping(NULL, gsi); + + return irq; }
/*