/* Looks up the device configuration based on the unique device ID. A table contains the configuration info for each device in the system.  */
XSdPs_Config* XSdPs_LookupConfig(u16 DeviceId)
/* Looks up the device configuration based on the unique device ID. A table contains the configuration info for each device in the system.  */
XSdPs_Config* XSdPs_LookupConfig(u16 DeviceId)
{
    XSdPs_Config *CfgPtr = NULL;
    u32 Index;
    for (Index = 0U; Index < (u32)XPAR_XSDPS_NUM_INSTANCES; Index++) {
        if (XSdPs_ConfigTable[Index].DeviceId == DeviceId) {
            CfgPtr = &XSdPs_ConfigTable[Index];
            break;
        }
    }
    return (XSdPs_Config *)CfgPtr;
}
/** @}