Matt Dainty <[email protected]> wrote: > --- sys/arch/amd64/amd64/identcpu.c.orig 2013-01-14 22:23:43.000000000 > +0000 > +++ sys/arch/amd64/amd64/identcpu.c 2013-01-14 22:33:21.000000000 +0000 > @@ -506,7 +506,8 @@ > if (ci->ci_feature_sefflags & SEFF0EBX_SMAP) > replacesmap(); > } > - if (!strncmp(mycpu_model, "Intel", 5)) { > + if (!strncmp(mycpu_model, "Intel", 5) || > + !strncmp(mycpu_model, "Genuine Intel", 13)) { > u_int32_t cflushsz; > > CPUID(0x01, dummy, cflushsz, dummy, dummy); >
I think it's dubious that we match the CPU brand name for this at all. Shouldn't this be properly handled with CPUID? -- Christian "naddy" Weisgerber [email protected]
