Symbol: GPIO_INT_PIN_MASK_72_95