Corpus for prctl$PR_SET_TSC:

Coverage	Program
46	prctl$PR_SET_TSC
42	prctl$PR_SET_TSC
41	prctl$PR_SET_TSC
41	prctl$PR_SET_TSC
40	prctl$PR_SET_TSC