Corpus for arch_prctl$ARCH_SET_CPUID:
Coverage Program