aboutsummaryrefslogtreecommitdiff
path: root/xen/arch/arm/arm64/acpi/arm-core.c
diff options
context:
space:
mode:
Diffstat (limited to 'xen/arch/arm/arm64/acpi/arm-core.c')
-rw-r--r--xen/arch/arm/arm64/acpi/arm-core.c6
1 files changed, 5 insertions, 1 deletions
diff --git a/xen/arch/arm/arm64/acpi/arm-core.c b/xen/arch/arm/arm64/acpi/arm-core.c
index 0e3074ad2a..9fe2815bc5 100644
--- a/xen/arch/arm/arm64/acpi/arm-core.c
+++ b/xen/arch/arm/arm64/acpi/arm-core.c
@@ -54,7 +54,11 @@ int acpi_psci_use_hvc;
/* available_cpus means enabled cpu in MADT */
static int available_cpus;
-enum acpi_irq_model_id acpi_irq_model = ACPI_IRQ_MODEL_PLATFORM;
+/*
+ * Since we're on ARM, the default interrupt routing model
+ * clearly has to be GIC.
+ */
+enum acpi_irq_model_id acpi_irq_model = ACPI_IRQ_MODEL_GIC;
struct acpi_arm_root acpi_arm_rsdp_info; /* info about RSDP from FDT */