Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 61454)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 61455)
@@ -6736,5 +6736,9 @@
              in the VT-x part of the sources instead of the generic stuff. */
     if (pVCpu->CTX_SUFF(pVM)->hm.s.vmx.fSupported)
+    {
+        /* For now, imply that the caller might change everything too. */
+        HMCPU_CF_SET(pVCpu, HM_CHANGED_ALL_GUEST);
         return hmR0VmxSaveGuestState(pVCpu, pMixedCtx);
+    }
     return VINF_SUCCESS;
 }