Symbol: PR_GET_TSC