Corpus for arch_prctl$ARCH_GET_CPUID:
Coverage
Program
19
arch_prctl$ARCH_GET_CPUID
15
arch_prctl$ARCH_GET_CPUID