Man pages matching name clgetplatformids in section 3clc:

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