Symbol: GPIO_INT_PIN_MASK_24_51