From d3d4cc6023488f040ec064aeb23441944f46d313 Mon Sep 17 00:00:00 2001 From: milicat Date: Tue, 25 Jun 2024 01:23:13 +0800 Subject: [PATCH] Fix macro to get irq idx from irqt Signed-off-by: milicat --- include/arch/arm/arch/machine/gic_common.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/arch/arm/arch/machine/gic_common.h b/include/arch/arm/arch/machine/gic_common.h index f58cac35a..584d1b508 100644 --- a/include/arch/arm/arch/machine/gic_common.h +++ b/include/arch/arm/arch/machine/gic_common.h @@ -43,8 +43,8 @@ #define IRQ_IS_PPI(_irq) (HW_IRQ_IS_PPI(_irq.irq)) #define CORE_IRQ_TO_IRQT(tgt, _irq) ((irq_t){.irq = (_irq), .target_core = (tgt)}) #define IRQT_TO_IDX(_irq) (HW_IRQ_IS_PPI(_irq.irq) ? \ - (irq.target_core)*NUM_PPI + (_irq.irq) : \ - (CONFIG_MAX_NUM_NODES-1)*NUM_PPI + (_irq.irq)) + (_irq.target_core) * NUM_PPI + (_irq.irq) : \ + (CONFIG_MAX_NUM_NODES - 1) * NUM_PPI + (_irq.irq)) #define IDX_TO_IRQT(idx) (((idx) < NUM_PPI*CONFIG_MAX_NUM_NODES) ? \ CORE_IRQ_TO_IRQT((idx) / NUM_PPI, (idx) - ((idx)/NUM_PPI)*NUM_PPI): \