Symbol: GICD_I_MASK