/* Sets or clears the selected data port bit.  */
void GPIO_WriteBit(GPIO_TypeDef *GPIOx, GPIO_Pin_TypeDef GPIO_Pin, BitAction GPIO_BitVal)
/* Sets or clears the selected data port bit.  */
void GPIO_WriteBit(GPIO_TypeDef *GPIOx, GPIO_Pin_TypeDef GPIO_Pin, BitAction GPIO_BitVal)
{
  assert_param(IS_GPIO_PIN(GPIO_Pin));
  assert_param(IS_STATE_VALUE(GPIO_BitVal));
  if (GPIO_BitVal != RESET)
  {
    GPIOx->ODR |= GPIO_Pin;
  }
  else
  {
    GPIOx->ODR &= (uint8_t)(~GPIO_Pin);
  }
}