|
@@ -534,7 +534,7 @@ static __init void hardware_enable(void *garbage)
|
|
u64 old;
|
|
u64 old;
|
|
|
|
|
|
rdmsrl(MSR_IA32_FEATURE_CONTROL, old);
|
|
rdmsrl(MSR_IA32_FEATURE_CONTROL, old);
|
|
- if ((old & 5) == 0)
|
|
|
|
|
|
+ if ((old & 5) != 5)
|
|
/* enable and lock */
|
|
/* enable and lock */
|
|
wrmsrl(MSR_IA32_FEATURE_CONTROL, old | 5);
|
|
wrmsrl(MSR_IA32_FEATURE_CONTROL, old | 5);
|
|
write_cr4(read_cr4() | CR4_VMXE); /* FIXME: not cpu hotplug safe */
|
|
write_cr4(read_cr4() | CR4_VMXE); /* FIXME: not cpu hotplug safe */
|