Man pages matching name pr_get_tsc in section 2const:

PR_GET_TSC.2const.en

debian 13 / manpages-dev