]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - inmates/lib/arm/include/gic.h
Merge remote-tracking branch 'kiszka/master'
[jailhouse.git] / inmates / lib / arm / include / gic.h
index 4e5eabd6a8457bc3f104ac4db2d62b9755f04fdc..6a28e7dff6af52b7c05c84862b8149a1686c45d0 100644 (file)
 #ifndef _JAILHOUSE_INMATES_GIC_H
 #define _JAILHOUSE_INMATES_GIC_H
 
-#include <jailhouse/types.h>
+#include <inmate.h>
+
+#define GICD_ISENABLER                 0x0100
+
+#define is_spi(irqn)                   ((irqn) > 31 && (irqn) < 1020)
 
 #ifndef __ASSEMBLY__