Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 78256)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 78257)
@@ -7332,5 +7332,5 @@
     uint32_t u32Val;
 
-    STAM_PROFILE_ADV_START(& pVCpu->hm.s.StatImportGuestState, x);
+    STAM_PROFILE_ADV_START(&pVCpu->hm.s.StatImportGuestState, x);
 
     /*
@@ -7496,4 +7496,5 @@
                 uint32_t const cMsrs = pVmcsInfo->cExitMsrStore;
                 Assert(cMsrs == 0 || pMsr != NULL);
+                Assert(cMsrs <= VMX_MISC_MAX_MSRS(pVM->hm.s.vmx.Msrs.u64Misc));
                 for (uint32_t i = 0; i < cMsrs; i++, pMsr++)
                 {