static void __devinit set_cpuidmask(void)
{
- unsigned int eax, ebx, ecx, edx;
+ unsigned int eax, ebx, ecx, edx, model;
if (!(opt_cpuid_mask_ecx | opt_cpuid_mask_edx))
return;
cpuid(0x00000001, &eax, &ebx, &ecx, &edx);
- if (eax < 0x00010674) {
+ model = ((eax & 0xf0000) >> 12) | ((eax & 0xf0) >> 4);
+ if (!((model == 0x1d) || ((model == 0x17) && ((eax & 0xf) >= 4)))) {
printk(XENLOG_ERR "Cannot set CPU feature mask on CPU#%d\n",
smp_processor_id());
return;