Corpus for prctl$PR_SET_MM_AUXV:

Coverage	Program
1238	ptrace$peekuser-getpgrp-sched_setattr-fork-capset-ptrace$getregset-ioprio_set$pid-openat$vcsa-sendmsg$DEVLINK_CMD_RELOAD-getpgid-ptrace$getregset-socket$packet-prctl$PR_SET_MM_AUXV
197	prctl$PR_SET_MM_AUXV
150	perf_event_open-ioctl$sock_SIOCGIFINDEX_80211-sendmsg$NL80211_CMD_JOIN_MESH-prctl$PR_SET_MM_AUXV-sendmsg$802154_raw-mount$9p_fd
117	prctl$PR_SET_MM_AUXV
117	prctl$PR_SET_MM_AUXV
111	prctl$PR_SET_MM_AUXV
52	clone3-prctl$PR_SET_MM_AUXV
43	prctl$PR_SET_MM_AUXV