/* Reads the output data of specified GPIO port pin.  */
bool GPIO_ReadOutputDataBit(GPIO_TypeDef *gpio, u16 pin)
/* Reads the output data of specified GPIO port pin.  */
bool GPIO_ReadOutputDataBit(GPIO_TypeDef *gpio, u16 pin)
{
    return (gpio->ODR & pin) ? Bit_SET : Bit_RESET;
}