Corpus for arch_prctl$ARCH_SET_CPUID:

Coverage	Program