609 int sound_alloc_dma(int chn, char *deviceID)  in sound_alloc_dma()  argument
613 	if ((err = request_dma(chn, deviceID)) != 0)  in sound_alloc_dma()
616 	dma_alloc_map[chn] = DMA_MAP_FREE;  in sound_alloc_dma()
622 int sound_open_dma(int chn, char *deviceID)  in sound_open_dma()  argument
624 	if (!valid_dma(chn)) {  in sound_open_dma()
625 		printk(KERN_ERR "sound_open_dma: Invalid DMA channel %d\n", chn);  in sound_open_dma()
629 	if (dma_alloc_map[chn] != DMA_MAP_FREE) {  in sound_open_dma()
630 		printk("sound_open_dma: DMA channel %d busy or not allocated (%d)\n", chn, dma_alloc_map[chn]);  in sound_open_dma()
633 	dma_alloc_map[chn] = DMA_MAP_BUSY;  in sound_open_dma()
638 void sound_free_dma(int chn)  in sound_free_dma()  argument
640 	if (dma_alloc_map[chn] == DMA_MAP_UNAVAIL) {  in sound_free_dma()
644 	free_dma(chn);  in sound_free_dma()
645 	dma_alloc_map[chn] = DMA_MAP_UNAVAIL;  in sound_free_dma()
649 void sound_close_dma(int chn)  in sound_close_dma()  argument
651 	if (dma_alloc_map[chn] != DMA_MAP_BUSY) {  in sound_close_dma()
652 		printk(KERN_ERR "sound_close_dma: Bad access to DMA channel %d\n", chn);  in sound_close_dma()
655 	dma_alloc_map[chn] = DMA_MAP_FREE;  in sound_close_dma()