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