|
@@ -215,6 +215,7 @@ static __init void xen_init_cpuid_mask(void)
|
|
(1 << X86_FEATURE_ACPI)); /* disable ACPI */
|
|
(1 << X86_FEATURE_ACPI)); /* disable ACPI */
|
|
|
|
|
|
ax = 1;
|
|
ax = 1;
|
|
|
|
+ cx = 0;
|
|
xen_cpuid(&ax, &bx, &cx, &dx);
|
|
xen_cpuid(&ax, &bx, &cx, &dx);
|
|
|
|
|
|
/* cpuid claims we support xsave; try enabling it to see what happens */
|
|
/* cpuid claims we support xsave; try enabling it to see what happens */
|
|
@@ -1059,6 +1060,7 @@ asmlinkage void __init xen_start_kernel(void)
|
|
/* set up basic CPUID stuff */
|
|
/* set up basic CPUID stuff */
|
|
cpu_detect(&new_cpu_data);
|
|
cpu_detect(&new_cpu_data);
|
|
new_cpu_data.hard_math = 1;
|
|
new_cpu_data.hard_math = 1;
|
|
|
|
+ new_cpu_data.wp_works_ok = 1;
|
|
new_cpu_data.x86_capability[0] = cpuid_edx(1);
|
|
new_cpu_data.x86_capability[0] = cpuid_edx(1);
|
|
#endif
|
|
#endif
|
|
|
|
|