/* Look up the hardware configuration for a device instance */
XAxiVdma_Config* XAxiVdma_LookupConfig(u16 DeviceId)
/* Look up the hardware configuration for a device instance */
XAxiVdma_Config* XAxiVdma_LookupConfig(u16 DeviceId)
{
	extern XAxiVdma_Config XAxiVdma_ConfigTable[];
	XAxiVdma_Config *CfgPtr = NULL;
	u32 i;
	for (i = 0U; i < XPAR_XAXIVDMA_NUM_INSTANCES; i++) {
		if (XAxiVdma_ConfigTable[i].DeviceId == DeviceId) {
			CfgPtr = &XAxiVdma_ConfigTable[i];
			break;
		}
	}
	return CfgPtr;
}
/** @}