Corpus for arch_prctl$ARCH_GET_CPUID:
Coverage
Program
550
seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-arch_prctl$ARCH_GET_CPUID
13
arch_prctl$ARCH_GET_CPUID