/* Writes data to the specified GPIO data port.  */
void GPIO_Write(GPIO_TypeDef *GPIOx, uint8_t GPIO_PortVal)
/* Writes data to the specified GPIO data port.  */
void GPIO_Write(GPIO_TypeDef *GPIOx, uint8_t GPIO_PortVal)
{
  GPIOx->ODR = GPIO_PortVal;
}