free_dma — free a reserved system DMA channel
void free_dma (unsigned int dmanr);
void free_dma
DMA channel number