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