/* brief DMA instance 1, channel 13 IRQ handler.  */
void EDMA_1_CH13_DriverIRQHandler(void)
/* brief DMA instance 1, channel 13 IRQ handler.  */
void EDMA_1_CH13_DriverIRQHandler(void)
{
    EDMA_DriverIRQHandler(1U, 13U);
}