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