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