Symbol: GIC_INTERRUPT_CELL_ID