Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program
211	prctl$PR_SET_MM_AUXV
117	prctl$PR_SET_MM_AUXV
89	prctl$PR_SET_MM_AUXV