* 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)
{