From: Julien Grall <julien.grall@linaro.org>
Date: Wed, 14 May 2014 18:45:02 +0000 (+0100)
Subject: HACK: Enable evtchn and timer IRQ on secondary CPUs
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=08ac2f584f9886fa5c8419214fff51db35c4d723;p=people%2Fjulieng%2Ffreebsd.git

HACK: Enable evtchn and timer IRQ on secondary CPUs
---

diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c
index 607e02ad2cdd..7e5e08317b6f 100644
--- a/sys/arm/arm/gic.c
+++ b/sys/arm/arm/gic.c
@@ -194,6 +194,8 @@ gic_init_secondary(device_t dev)
 	gic_d_write_4(sc, GICD_ISENABLER(27 >> 5), (1UL << (27 & 0x1F)));
 	gic_d_write_4(sc, GICD_ISENABLER(29 >> 5), (1UL << (29 & 0x1F)));
 	gic_d_write_4(sc, GICD_ISENABLER(30 >> 5), (1UL << (30 & 0x1F)));
+	/* Activate IRQ 31, ie private evtchn IRQ */
+	gic_d_write_4(sc, GICD_ISENABLER(31 >> 5), (1UL << (31 & 0x1F)));
 }
 
 #if 0