Command to display getCDKSliderHighValue manual in Linux: $ man 3 getCDKSliderHighValue
getCDKSliderHighValue
$ man 3 getCDKSliderHighValue
Please check the manual page cdk_slider(3).