Corpus for prctl$PR_GET_TSC:

Coverage	Program
497	prctl$PR_GET_TSC
60	prctl$PR_GET_TSC
28	prctl$PR_GET_TSC
26	prctl$PR_GET_TSC
20	prctl$PR_GET_TSC