RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Fix macro to get irq idx from irqt

Browse Source 
Signed-off-by: milicat <milicat@foxmail.com>
This commit is contained in:
milicat
2024-06-25 01:23:13 +08:00
committed by Gerwin Klein
parent 357674fb1d
commit d3d4cc6023
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/arch/arm/arch/machine/gic_common.h
View File

@@ -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): \