/* Writes low level to the specified GPIO pins.  */
void GPIO_ResetBits(GPIO_TypeDef *GPIOx, uint8_t GPIO_Pin)
/* Writes low level to the specified GPIO pins.  */
void GPIO_ResetBits(GPIO_TypeDef *GPIOx, uint8_t GPIO_Pin)
{
  GPIOx->ODR &= (uint8_t)(~GPIO_Pin);
}