Man pages matching name clicdgetplatformidskhr in section 3clc:

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