Index: /trunk/src/VBox/VMM/VMMR0/HMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 49933)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 49934)
@@ -908,6 +908,5 @@
     Assert(!pCpu->fConfigured);
 
-    pCpu->idCpu         = idCpu;
-    pCpu->uCurrentAsid  = 0;    /* we'll aways increment this the first time (host uses ASID 0) */
+    pCpu->idCpu = idCpu;
     /* Do NOT reset cTlbFlushes here, see @bugref{6255}. */
 
@@ -976,11 +975,13 @@
     g_HvmR0.fGlobalInit = pVM->hm.s.fGlobalInit;
 
+#ifdef VBOX_STRICT
     for (unsigned i = 0; i < RT_ELEMENTS(g_HvmR0.aCpuInfo); i++)
     {
         Assert(g_HvmR0.aCpuInfo[i].hMemObj == NIL_RTR0MEMOBJ);
-        g_HvmR0.aCpuInfo[i].fConfigured  = false;
-        g_HvmR0.aCpuInfo[i].cTlbFlushes  = 0;
-        g_HvmR0.aCpuInfo[i].uCurrentAsid = 0;
-    }
+        Assert(!g_HvmR0.aCpuInfo[i].fConfigured);
+        Assert(!g_HvmR0.aCpuInfo[i].cTlbFlushes);
+        Assert(!g_HvmR0.aCpuInfo[i].uCurrentAsid);
+    }
+#endif
 
     int rc;
@@ -1089,5 +1090,4 @@
         rc = VINF_SUCCESS; /* nothing to do */
 
-    pCpu->uCurrentAsid = 0;
     return rc;
 }