/* DMAMUX Clear DMA Request Synchronization Overrun Interrupt Flag. 
Clear DMA Request Synchronization Overrun Interrupt for given DMA channel */
void dmamux_clear_dma_request_sync_overrun(uint32_t dmamux, uint8_t channel)
/* DMAMUX Clear DMA Request Synchronization Overrun Interrupt Flag. 
Clear DMA Request Synchronization Overrun Interrupt for given DMA channel */
void dmamux_clear_dma_request_sync_overrun(uint32_t dmamux, uint8_t channel)
{
	DMAMUX_CFR(dmamux) = DMAMUX_CFR_CSOF(channel);
}