clGetDeviceIDsFromD3D10KHR(3clc) on Linux

The text 76a5c6165e34, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Querying OpenCL Devices Corresponding to Direct3D 10 Devices.