Man pages matching name clgetplatforminfo in section 3clc:

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