|
@@ -1059,6 +1059,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
|
|
|
|
|