Index: /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 39811)
+++ /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 39812)
@@ -25,4 +25,5 @@
 #include <VBox/vmm/iom.h>
 #include <VBox/vmm/dbgf.h>
+#include <VBox/vmm/dbgftrace.h>
 #include <VBox/vmm/tm.h>
 #include <VBox/vmm/pdmapi.h>
@@ -1597,4 +1598,9 @@
     }
 
+#ifdef DBGFTRACE_ENABLED /** @todo DTrace */
+    RTTraceBufAddMsgF(pVM->CTX_SUFF(hTraceBuf), "vmexit %08x at %04:%08RX64 %RX64 %RX64 %RX64",
+                      exitCode, pCtx->cs, pCtx->rip,
+                      pVMCB->ctrl.u64ExitInfo1, pVMCB->ctrl.u64ExitInfo2, pVMCB->ctrl.ExitIntInfo.au64[0]);
+#endif
     STAM_PROFILE_ADV_STOP_START(&pVCpu->hwaccm.s.StatExit1, &pVCpu->hwaccm.s.StatExit2, x);
 
Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 39811)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 39812)
@@ -25,4 +25,5 @@
 #include <VBox/vmm/pgm.h>
 #include <VBox/vmm/dbgf.h>
+#include <VBox/vmm/dbgftrace.h>
 #include <VBox/vmm/selm.h>
 #include <VBox/vmm/iom.h>
@@ -2852,4 +2853,8 @@
     }
 
+#ifdef DBGFTRACE_ENABLED /** @todo DTrace later. */
+    RTTraceBufAddMsgF(pVM->CTX_SUFF(hTraceBuf), "vmexit %08x %016RX64 at %04:%08RX64 %RX64",
+                      exitReason, (uint64_t)exitQualification, pCtx->cs, pCtx->rip, (uint64_t)intInfo);
+#endif
     STAM_PROFILE_ADV_STOP_START(&pVCpu->hwaccm.s.StatExit1, &pVCpu->hwaccm.s.StatExit2, x);