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