Index: /trunk/include/VBox/vmm/hm_vmx.h
===================================================================
--- /trunk/include/VBox/vmm/hm_vmx.h	(revision 52572)
+++ /trunk/include/VBox/vmm/hm_vmx.h	(revision 52573)
@@ -209,7 +209,7 @@
 /** VMCS' EFER MSR.LMA does not match the IA32e mode guest control. */
 #define VMX_IGS_EFER_LMA_GUEST_MODE_MISMATCH                    14
-/** VMCS' EFER MSR.LMA does not match CR0.PG of the guest when not using
- *  unrestricted guest. */
-#define VMX_IGS_EFER_LMA_PG_MISMATCH                            15
+/** VMCS' EFER MSR.LMA does not match EFER.LME of the guest when using paging
+ *  without unrestricted guest. */
+#define VMX_IGS_EFER_LMA_LME_MISMATCH                            15
 /** CS.Attr.P bit invalid. */
 #define VMX_IGS_CS_ATTR_P_INVALID                               16
Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 52572)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 52573)
@@ -9351,6 +9351,7 @@
                               VMX_IGS_EFER_LMA_GUEST_MODE_MISMATCH);
             HMVMX_CHECK_BREAK(   fUnrestrictedGuest
-                              || RT_BOOL(u64Val & MSR_K6_EFER_LMA) == RT_BOOL(u32GuestCR0 & X86_CR0_PG),
-                              VMX_IGS_EFER_LMA_PG_MISMATCH);
+                              || !(u32GuestCR0 & X86_CR0_PG)
+                              || RT_BOOL(u64Val & MSR_K6_EFER_LMA) == RT_BOOL(u64Val & MSR_K6_EFER_LME),
+                              VMX_IGS_EFER_LMA_LME_MISMATCH);
         }