/* Sets or clears the selected data port bit.  */
void GPIO_WriteBitValue(GPIO_T *port, uint16_t pin, GPIO_BSRET_T bitVal)
/* Sets or clears the selected data port bit.  */
void GPIO_WriteBitValue(GPIO_T *port, uint16_t pin, GPIO_BSRET_T bitVal)
{
    if (bitVal != Bit_RESET)
    {
        port->BSC = pin;
    }
    else
    {
        port->BR = pin ;
    }
}