Index: /trunk/src/VBox/VMM/VMMR3/CPUM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/CPUM.cpp	(revision 79715)
+++ /trunk/src/VBox/VMM/VMMR3/CPUM.cpp	(revision 79716)
@@ -2628,5 +2628,5 @@
             SSMR3PutGCPhys(pSSM,   pGstCtx->hwvirt.vmx.GCPhysShadowVmcs);
             SSMR3PutU32(pSSM,      (uint32_t)pGstCtx->hwvirt.vmx.enmDiag);
-            SSMR3PutU32(pSSM,      (uint32_t)pGstCtx->hwvirt.vmx.uDiagAux);
+            SSMR3PutU64(pSSM,      pGstCtx->hwvirt.vmx.uDiagAux);
             SSMR3PutU32(pSSM,      (uint32_t)pGstCtx->hwvirt.vmx.enmAbort);
             SSMR3PutU32(pSSM,      pGstCtx->hwvirt.vmx.uAbortAux);
@@ -2921,5 +2921,5 @@
                         SSMR3GetGCPhys(pSSM,   &pGstCtx->hwvirt.vmx.GCPhysShadowVmcs);
                         SSMR3GetU32(pSSM,       (uint32_t *)&pGstCtx->hwvirt.vmx.enmDiag);
-                        SSMR3GetU32(pSSM,       (uint32_t *)&pGstCtx->hwvirt.vmx.uDiagAux);
+                        SSMR3GetU64(pSSM,      &pGstCtx->hwvirt.vmx.uDiagAux);
                         SSMR3GetU32(pSSM,       (uint32_t *)&pGstCtx->hwvirt.vmx.enmAbort);
                         SSMR3GetU32(pSSM,      &pGstCtx->hwvirt.vmx.uAbortAux);