Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 46589)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 46590)
@@ -2030,4 +2030,7 @@
         AssertPtr(pVCpu->hm.s.vmx.pvVmcs);
 
+        /* Log the VCPU pointers, useful for debugging SMP VMs. */
+        Log4(("VMXR0SetupVM: pVCpu=%p idCpu=%RU32\n", pVCpu, pVCpu->idCpu));
+
         /* Set revision dword at the beginning of the VMCS structure. */
         *(uint32_t *)pVCpu->hm.s.vmx.pvVmcs = MSR_IA32_VMX_BASIC_INFO_VMCS_ID(pVM->hm.s.vmx.msr.vmx_basic_info);