Symbol: INTC_EXTCTL_SIRQ1_MASK