Symbol: GPIO_IRQ1_MASK