Man pages matching name clgetdeviceids in section 3clc:

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