866         char deviceName[4096] = "";  in build_program_create_kernel_helper()  local
867         error = clGetDeviceInfo(devices[z], CL_DEVICE_NAME, sizeof(deviceName),  in build_program_create_kernel_helper()
868                                 deviceName, NULL);  in build_program_create_kernel_helper()
869         if (error != CL_SUCCESS || deviceName[0] == '\0')  in build_program_create_kernel_helper()
912                     deviceName, statusString);  in build_program_create_kernel_helper()
933                           deviceName);  in build_program_create_kernel_helper()
957                       deviceName);  in build_program_create_kernel_helper()
1539     char deviceName[512], deviceVendor[512], deviceVersion[512],  in printDeviceHeader()  local
1543     error = clGetDeviceInfo(device, CL_DEVICE_NAME, sizeof(deviceName),  in printDeviceHeader()
1544                             deviceName, NULL);  in printDeviceHeader()
1561              deviceName, deviceVendor, deviceVersion,  in printDeviceHeader()