Symbol: PR_SET_TSC