PLATFORM_UEXT_CONFIGURATION_t *platform_uext_configuration(int index);
platform_uext_configuration returns a configuration descriptor for UEXT socket index. This function will return a non-zero result for indexes in the range 0 through PLATFORM_UEXT_COUNT-1 and a zero results for indexes outside this range.
If the platform does not provide a UEXT socket, PLATFORM_UEXT_COUNT is set to zero and platform_uext_configuration always returns zero.