From 257be2124fe5dc47d58a3a312a1b4db015163565 Mon Sep 17 00:00:00 2001 From: Etienne Carriere Date: Tue, 10 Oct 2023 14:40:22 +0200 Subject: [PATCH] drivers: gic: use DT bindings Use DT bindings GIC_PPI and GIC_SIP instead of 1 and 0 raw values. Acked-by: Jerome Forissier Acked-by: Jens Wiklander Signed-off-by: Etienne Carriere --- core/drivers/gic.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/core/drivers/gic.c b/core/drivers/gic.c index 9d8f54465e5..dc64e007bdb 100644 --- a/core/drivers/gic.c +++ b/core/drivers/gic.c @@ -6,6 +6,7 @@ #include #include +#include #include #include #include @@ -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: