Symbol: GPIO_PIN_MASK_72_95