/* DMAMUX Reset DMA Channel. 
Reset DMA Request configuration and interrupt flags for given DMA channel. */
void dmamux_reset_dma_channel(uint32_t dmamux, uint8_t channel)
/* DMAMUX Reset DMA Channel. 
Reset DMA Request configuration and interrupt flags for given DMA channel. */
void dmamux_reset_dma_channel(uint32_t dmamux, uint8_t channel)
{
	DMAMUX_CxCR(dmamux, channel) = 0;
	dmamux_clear_dma_request_sync_overrun(dmamux, channel);
}