Max SPI INTID is 1019
Signed-off-by: Deepika Bhavnani <deepika.bhavnani@arm.com>
Change-Id: I1f99ec379f636cb9c812d7c4ca44f529455dabfd
diff --git a/include/drivers/arm/arm_gic.h b/include/drivers/arm/arm_gic.h
index 1a6bc3d..0f27dc1 100644
--- a/include/drivers/arm/arm_gic.h
+++ b/include/drivers/arm/arm_gic.h
@@ -18,7 +18,7 @@
#define MIN_PPI_ID 16
#define MAX_PPI_ID 31
#define MIN_SPI_ID 32
-#define MAX_SPI_ID 1020
+#define MAX_SPI_ID 1019
#define IS_SGI(irq_num) \
(((irq_num) >= MIN_SGI_ID) && ((irq_num) <= MAX_SGI_ID))