/* Writes data to the specified GPIO data port bit.  */
void GPIO_WriteBitValue(GPIO_T *port, uint16_t pin, uint8_t bitVal)
/* Writes data to the specified GPIO data port bit.  */
void GPIO_WriteBitValue(GPIO_T *port, uint16_t pin, uint8_t bitVal)
{
    if (bitVal != BIT_RESET)
    {
        port->BSCL = pin;
    }
    else
    {
        port->BSCH = pin ;
    }
}