DOKK / manpages

Man pages matching name mad_hi in section 3clc:

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