Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program
232	prctl$PR_SET_MM_AUXV
89	prctl$PR_SET_MM_AUXV
73	prctl$PR_SET_MM_AUXV
26	prctl$PR_SET_MM_AUXV
19	prctl$PR_SET_MM_AUXV