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