Index: /trunk/src/VBox/VMM/VMMR3/HM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/HM.cpp	(revision 52004)
+++ /trunk/src/VBox/VMM/VMMR3/HM.cpp	(revision 52005)
@@ -1841,5 +1841,5 @@
      * mode, nor have the correct memory context.)
      */
-    VMCPUID         idCpu  = (VMCPUID)(uintptr_t)pvUser;
+    VMCPUID idCpu = (VMCPUID)(uintptr_t)pvUser;
     if (pVCpu->idCpu != idCpu)
         return VINF_SUCCESS;
@@ -1849,5 +1849,5 @@
      * and make sure there is still room for our patch record.
      */
-    PCPUMCTX        pCtx   = CPUMQueryGuestCtxPtr(pVCpu);
+    PCPUMCTX    pCtx   = CPUMQueryGuestCtxPtr(pVCpu);
     PHMTPRPATCH pPatch = (PHMTPRPATCH)RTAvloU32Get(&pVM->hm.s.PatchTree, (AVLOU32KEY)pCtx->eip);
     if (pPatch)
@@ -1856,5 +1856,5 @@
         return VINF_SUCCESS;
     }
-    uint32_t const  idx = pVM->hm.s.cPatches;
+    uint32_t const idx = pVM->hm.s.cPatches;
     if (idx >= RT_ELEMENTS(pVM->hm.s.aPatches))
     {