{
// initialize the platforms (in case they have not been already)
khrIcdInitialize();
-
- if (!platform && khrIcdVendors != NULL)
- {
- platform = khrIcdVendors[0].platform;
- }
-
KHR_ICD_VALIDATE_HANDLE_RETURN_ERROR(platform, CL_INVALID_PLATFORM);
return platform->dispatch->clGetDeviceIDs(
platform,
// initialize the platforms (in case they have not been already)
khrIcdInitialize();
- // determine the platform to use from the properties and device_type specified
+ // determine the platform to use from the properties specified
khrIcdContextPropertiesGetPlatform(properties, &platform);
- if (!platform && khrIcdVendors != NULL)
- {
- platform = khrIcdVendors[0].platform;
- }
// validate the platform handle and dispatch
KHR_ICD_VALIDATE_HANDLE_RETURN_HANDLE(platform, CL_INVALID_PLATFORM);
// determine the platform to use from the properties specified
khrIcdContextPropertiesGetPlatform(properties, &platform);
- if (!platform && khrIcdVendors != NULL)
- {
- platform = khrIcdVendors[0].platform;
- }
KHR_ICD_VALIDATE_HANDLE_RETURN_ERROR(platform, CL_INVALID_PLATFORM);
return platform->dispatch->clGetGLContextInfoKHR(