Symbol: GIC_I_NUM_MAX