clGetDeviceIDsFromD3D10KHR(3clc) on Linux

The text b57b2c1043c7, as Debian 10 (Buster) shipped it.

Querying OpenCL Devices Corresponding to Direct3D 10 Devices.