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