Corpus for arch_prctl$ARCH_MAP_VDSO_64:

Coverage	Program
46	arch_prctl$ARCH_MAP_VDSO_64
12	arch_prctl$ARCH_MAP_VDSO_64