Symbol: GPIO_EXTINT_COUNT