i86pc/os/cpuid.c

2716 	ASSERT(cpuid_checkpass(cpu, 3));
2743 cpuid_checkpass(cpu_t *cpu, int pass)
2752 	ASSERT(cpuid_checkpass(cpu, 3));
2763 	ASSERT(cpuid_checkpass(cpu, 1));
2784 	ASSERT(cpuid_checkpass((cpu == NULL ? CPU : cpu), 1));
2813 	ASSERT(cpuid_checkpass(cpu, 1));
2829 	ASSERT(cpuid_checkpass(cpu, 1));
2836 	ASSERT(cpuid_checkpass(cpu, 1));
2843 	ASSERT(cpuid_checkpass(cpu, 1));
2850 	ASSERT(cpuid_checkpass(cpu, 1));
2857 	ASSERT(cpuid_checkpass(cpu, 1));
2864 	ASSERT(cpuid_checkpass(cpu, 1));
2871 	ASSERT(cpuid_checkpass(cpu, 2));
2878 	ASSERT(cpuid_checkpass(cpu, 2));
2885 	ASSERT(cpuid_checkpass(cpu, 1));
2892 	ASSERT(cpuid_checkpass(cpu, 1));
2899 	ASSERT(cpuid_checkpass(cpu, 1));
2906 	ASSERT(cpuid_checkpass(cpu, 1));
2913 	ASSERT(cpuid_checkpass(cpu, 1));
2923 	ASSERT(cpuid_checkpass(cpu, 1));
2938 	ASSERT(cpuid_checkpass(cpu, 1));
2948 	ASSERT(cpuid_checkpass(cpu, 1));
2955 	ASSERT(cpuid_checkpass(cpu, 1));
2962 	ASSERT(cpuid_checkpass(cpu, 1));
2969 	ASSERT(cpuid_checkpass(cpu, 1));
2976 	ASSERT(cpuid_checkpass(cpu, 1));
2983 	ASSERT(cpuid_checkpass(cpu, 1));
3008 	ASSERT(cpuid_checkpass(cpu, 1));
3025 	ASSERT(cpuid_checkpass(cpu, 1));
3050 	ASSERT(cpuid_checkpass(cpu, 1));
4279 	ASSERT(cpuid_checkpass(CPU, 2));
4367 	ASSERT(cpuid_checkpass(CPU, 1));
4457 	ASSERT(cpuid_checkpass(CPU, 1));
4489 	ASSERT(cpuid_checkpass(cp, 1));
4523 	ASSERT(cpuid_checkpass(CPU, 1));