From fe3ddcf2d553313acea28ad5e9dd4358e4f239c0 Mon Sep 17 00:00:00 2001 From: Andrew Turner Date: Thu, 6 Sep 2018 17:25:50 +0000 Subject: [PATCH] Fix the GIC ACPI cross reference value. To support INTRNG with ACPI we need to set a non-zero cross reference value for the interrupt controller. The GICv3 driver already had this value set, however it was missed in the GICv2 driver. Fix this by setting xref to the correct value. Approved by: re (gjb) --- sys/arm/arm/gic_acpi.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sys/arm/arm/gic_acpi.c b/sys/arm/arm/gic_acpi.c index 2ca65fcaf80c..40928b2b2b19 100644 --- a/sys/arm/arm/gic_acpi.c +++ b/sys/arm/arm/gic_acpi.c @@ -34,6 +34,7 @@ * SUCH DAMAGE. */ +#include "opt_acpi.h" #include "opt_platform.h" #include @@ -217,7 +218,7 @@ gic_acpi_attach(device_t dev) if (err != 0) return (err); - xref = 0; + xref = ACPI_INTR_XREF; /* * Now, when everything is initialized, it's right time to