Symbol: ICI_IRQ
src/system/kernel/arch/arm/arch_int_gicv2.cpp
130
} else if (irqnr == ICI_IRQ) {
src/system/kernel/arch/arm/arch_int_gicv2.cpp
60
EnableInterrupt(ICI_IRQ);