Symbol: GPIO_INTEN