Man pages matching name clgetdeviceidsfromd3d11khr in section 3clc:

clGetDeviceIDsFromD3D11KHR.3clc.en	debian 10 / opencl-1.2-man-doc
clGetDeviceIDsFromD3D11KHR.3clc.en	debian 11 / opencl-1.2-man-doc