Corpus for arch_prctl$ARCH_GET_CPUID:

Coverage	Program