Man pages matching name clgetkernelinfo in section 3clc:

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