Corpus for arch_prctl$ARCH_SET_CPUID:

Coverage	Program
12	arch_prctl$ARCH_SET_CPUID