Symbol: PIN_CONFIG_GPIO_PIN_INT