/* Wait until DAC channel is ready to receive data.  */
void dac_wait_on_ready(uint32_t dac, int channel)
/* Wait until DAC channel is ready to receive data.  */
void dac_wait_on_ready(uint32_t dac, int channel)
{
	while (!dac_is_ready(dac, channel));
}