Corpus for prctl$PR_GET_TSC:

Coverage	Program
523	prctl$PR_GET_TSC
25	pipe2-prctl$PR_GET_TSC