/* 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 temp = 0;
    temp = (uint32_t) DAC_BASE ;
    temp += 0x0000002C + ((uint32_t)channel >> 2);
    return (uint16_t)(*(__IO uint32_t *) temp);
}