Corpus for arch_prctl$ARCH_GET_CPUID:
Coverage
Program
593
seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-arch_prctl$ARCH_GET_CPUID
17
prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-arch_prctl$ARCH_GET_CPUID
13
arch_prctl$ARCH_GET_CPUID