Corpus for prctl$PR_GET_TSC:
Coverage Program
509 prctl$PR_GET_TSC
26 prctl$PR_GET_TSC
24 prctl$PR_GET_NAME-prctl$PR_GET_TSC
22 prctl$PR_GET_TSC