/* Free a buffer of the DMA program buffer.  */
static void XDmaPs_BufPool_Free(XDmaPs_ProgBuf *Pool, void *Buf)
/* Free a buffer of the DMA program buffer.  */
static void XDmaPs_BufPool_Free(XDmaPs_ProgBuf *Pool, void *Buf)
{
	int Index;
	Xil_AssertVoid(Pool != NULL);
	for (Index = 0; Index < XDMAPS_MAX_CHAN_BUFS; Index++) {
		if (Pool[Index].Buf == Buf) {
			if (Pool[Index].Allocated) {
				Pool[Index].Allocated = 0;
			}
		}
	}
}