/* DMAMUX Get DMA Request Synchronization Overrun Interrupt Flag. 
Get DMA Request Synchronization Overrun Interrupt for given DMA channel */
uint32_t dmamux_get_dma_request_sync_overrun(uint32_t dmamux, uint8_t channel)
/* DMAMUX Get DMA Request Synchronization Overrun Interrupt Flag. 
Get DMA Request Synchronization Overrun Interrupt for given DMA channel */
uint32_t dmamux_get_dma_request_sync_overrun(uint32_t dmamux, uint8_t channel)
{
	return DMAMUX_CSR(dmamux) & DMAMUX_CSR_SOF(channel);
}