drivers: gic: use DT bindings

Use DT bindings GIC_PPI and GIC_SIP instead of 1 and 0 raw values. Acked-by: Jerome Forissier <[email protected]> Signed-off-by: Etienne Carriere <[email protected]>
OP-TEE · Oct 31, 2023 · 5755be4 · 5755be4
1 parent 17a6fe0
commit 5755be4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/core/drivers/gic.c b/core/drivers/gic.c
@@ -6,6 +6,7 @@
 
 #include <arm.h>
 #include <assert.h>
+#include <dt-bindings/interrupt-controller/arm-gic.h>
 #include <config.h>
 #include <compiler.h>
 #include <drivers/gic.h>
@@ -196,10 +197,10 @@ static int gic_dt_get_irq(const uint32_t *properties, int count, uint32_t *type,
 	it_num = fdt32_to_cpu(properties[1]);
 
 	switch (fdt32_to_cpu(properties[0])) {
-	case 1:
+	case GIC_PPI:
 		it_num += 16;
 		break;
-	case 0:
+	case GIC_SPI:
 		it_num += 32;
 		break;
 	default: