]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - inmates/lib/arm/gic-v3.c
Merge remote-tracking branch 'kiszka/master'
[jailhouse.git] / inmates / lib / arm / gic-v3.c
index fd4dfe69a74d2903ebfd54a0a51f52ae3cbae251..2e85e82d5cfe75f6b7adec0c2244f46b52e19e35 100644 (file)
@@ -9,10 +9,21 @@
  * This work is licensed under the terms of the GNU GPL, version 2.  See
  * the COPYING file in the top-level directory.
  */
-#include <asm/gic_common.h>
-#include <asm/gic_v3.h>
-#include <inmates/gic.h>
+
+#include <asm/sysregs.h>
 #include <mach/gic_v3.h>
+#include <gic.h>
+
+#define GICR_SGI_BASE          0x10000
+#define GICR_ISENABLER         GICD_ISENABLER
+
+#define ICC_IAR1_EL1           SYSREG_32(0, c12, c12, 0)
+#define ICC_EOIR1_EL1          SYSREG_32(0, c12, c12, 1)
+#define ICC_PMR_EL1            SYSREG_32(0, c4, c6, 0)
+#define ICC_CTLR_EL1           SYSREG_32(0, c12, c12, 4)
+#define ICC_IGRPEN1_EL1                SYSREG_32(0, c12, c12, 7)
+
+#define ICC_IGRPEN1_EN         0x1
 
 void gic_enable(unsigned int irqn)
 {