Corpus for prctl$PR_SET_TSC:

Coverage	Program
67	prctl$PR_SET_TSC
62	prctl$PR_SET_TSC
28	prctl$PR_SET_TSC
24	prctl$PR_SET_TSC
23	prctl$PR_SET_TSC-syz_emit_vhci