20 int crisv32_request_dma(unsigned int dmanr, const char *device_id,  in crisv32_request_dma()  argument
28 	if (crisv32_arbiter_allocate_bandwidth(dmanr,  in crisv32_request_dma()
36 	if (used_dma_channels[dmanr]) {  in crisv32_request_dma()
41 				dmanr,  in crisv32_request_dma()
43 				used_dma_channels_users[dmanr]);  in crisv32_request_dma()
52 	switch (dmanr) {  in crisv32_request_dma()
81 				dmanr, device_id, MAX_DMA_CHANNELS - 1);  in crisv32_request_dma()
91 		if (dmanr == 0)  in crisv32_request_dma()
93 		else if (dmanr == 1)  in crisv32_request_dma()
99 		if (dmanr == 6)  in crisv32_request_dma()
101 		else if (dmanr == 7)  in crisv32_request_dma()
107 		if (dmanr == 2)  in crisv32_request_dma()
109 		else if (dmanr == 3)  in crisv32_request_dma()
115 		if (dmanr == 4)  in crisv32_request_dma()
117 		else if (dmanr == 5)  in crisv32_request_dma()
123 		if (dmanr == 6)  in crisv32_request_dma()
125 		else if (dmanr == 7)  in crisv32_request_dma()
131 		if (dmanr == 4)  in crisv32_request_dma()
133 		else if (dmanr == 5)  in crisv32_request_dma()
139 		if (dmanr == 2)  in crisv32_request_dma()
141 		else if (dmanr == 3)  in crisv32_request_dma()
147 		if (dmanr == 8)  in crisv32_request_dma()
149 		else if (dmanr == 9)  in crisv32_request_dma()
155 		if (dmanr == 4)  in crisv32_request_dma()
157 		else if (dmanr == 5)  in crisv32_request_dma()
163 		if (dmanr == 6)  in crisv32_request_dma()
165 		else if (dmanr == 7)  in crisv32_request_dma()
171 		if (dmanr == 2)  in crisv32_request_dma()
173 		else if (dmanr == 3)  in crisv32_request_dma()
179 		if (dmanr == 8)  in crisv32_request_dma()
181 		else if (dmanr == 9)  in crisv32_request_dma()
187 		if (dmanr == 6)  in crisv32_request_dma()
193 		if (dmanr == 7)  in crisv32_request_dma()
199 		if (dmanr == 2)  in crisv32_request_dma()
201 		else if (dmanr == 8)  in crisv32_request_dma()
207 		if (dmanr == 3)  in crisv32_request_dma()
209 		else if (dmanr == 9)  in crisv32_request_dma()
216 	used_dma_channels[dmanr] = 1;  in crisv32_request_dma()
217 	used_dma_channels_users[dmanr] = device_id;  in crisv32_request_dma()
224 void crisv32_free_dma(unsigned int dmanr)  in crisv32_free_dma()  argument
227 	used_dma_channels[dmanr] = 0;  in crisv32_free_dma()