/* Returns if the channel number is in the valid range (0..31).  */
static int kinetis_dma_ch_valid(int ch)
/* Returns if the channel number is in the valid range (0..31).  */
static int kinetis_dma_ch_valid(int ch)
{
	return ch >= 0 && ch < KINETIS_DMA_CH_NUM;
}