/* Returns the last data output value of the selected DAC channel.  */
uint16_t DAC_GetOutputDataVal(void)
/* Returns the last data output value of the selected DAC channel.  */
uint16_t DAC_GetOutputDataVal(void)
{
    __IO uint32_t tmp = 0;
    tmp = (uint32_t)DAC_BASE;
    tmp += DATO_OFFSET;
    return (uint16_t)(*(__IO uint32_t*)tmp);
}