|
@@ -1642,7 +1642,6 @@ static void ept_update_paging_mode_cr0(unsigned long *hw_cr0,
|
|
|
CPU_BASED_CR3_STORE_EXITING));
|
|
|
vcpu->arch.cr0 = cr0;
|
|
|
vmx_set_cr4(vcpu, vcpu->arch.cr4);
|
|
|
- *hw_cr0 &= ~X86_CR0_WP;
|
|
|
} else if (!is_paging(vcpu)) {
|
|
|
/* From nonpaging to paging */
|
|
|
vmcs_write32(CPU_BASED_VM_EXEC_CONTROL,
|
|
@@ -1651,9 +1650,10 @@ static void ept_update_paging_mode_cr0(unsigned long *hw_cr0,
|
|
|
CPU_BASED_CR3_STORE_EXITING));
|
|
|
vcpu->arch.cr0 = cr0;
|
|
|
vmx_set_cr4(vcpu, vcpu->arch.cr4);
|
|
|
- if (!(vcpu->arch.cr0 & X86_CR0_WP))
|
|
|
- *hw_cr0 &= ~X86_CR0_WP;
|
|
|
}
|
|
|
+
|
|
|
+ if (!(cr0 & X86_CR0_WP))
|
|
|
+ *hw_cr0 &= ~X86_CR0_WP;
|
|
|
}
|
|
|
|
|
|
static void ept_update_paging_mode_cr4(unsigned long *hw_cr4,
|