/* High frequency interface mode selection. 
If the AHB frequency of the DAC is above 80MHz then this value needs setting to an appropriate value. */
void dac_set_high_frequency_mode(uint32_t dac, uint32_t hfsel)
/* High frequency interface mode selection. 
If the AHB frequency of the DAC is above 80MHz then this value needs setting to an appropriate value. */
void dac_set_high_frequency_mode(uint32_t dac, uint32_t hfsel)
{
	uint32_t reg32 = DAC_MCR(dac);
	reg32 &= ~(DAC_MCR_HFSEL_MASK << DAC_MCR_HFSEL_SHIFT);
	reg32 |= hfsel;
	DAC_MCR(dac) = reg32;
}
/**@}