/* Reads the specified DAC channel data output value.  */
uint16_t DAC_ReadDataOutputValue(DAC_CHANNEL_T channel)
/* Reads the specified DAC channel data output value.  */
uint16_t DAC_ReadDataOutputValue(DAC_CHANNEL_T channel)
{
    __IO uint32_t tmp = 0;
    tmp = (uint32_t) DAC_BASE ;
    tmp += 0x0000002C + ((uint32_t)channel >> 2);
    return (uint16_t) (*(__IO uint32_t*) tmp);
}