/* Hardware IRQ handler (for IRQ0..IRQ15) for interrupt requests from pairs of DMA channels: IRQ0 - channels 0, 16; IRQ1 - channels 1, 17; ... IRQ15 - channels 15, 31.  */
static irqreturn_t kinetis_dma_isr(int irq, void *dev_id)
/* Hardware IRQ handler (for IRQ0..IRQ15) for interrupt requests from pairs of DMA channels: IRQ0 - channels 0, 16; IRQ1 - channels 1, 17; ... IRQ15 - channels 15, 31.  */
static irqreturn_t kinetis_dma_isr(int irq, void *dev_id)
{
	int ch = (int)dev_id;
	if (KINETIS_DMA->intr & (1 << ch))
		kinetis_dma_channel_isr(ch);
	ch += 16;
	if (KINETIS_DMA->intr & (1 << ch))
		kinetis_dma_channel_isr(ch);
	return IRQ_HANDLED;
}