Index: /trunk/include/VBox/vmm/dbgfcorefmt.h
===================================================================
--- /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 83121)
+++ /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 83122)
@@ -52,5 +52,5 @@
 #define DBGFCORE_MAGIC          UINT32_C(0xc01ac0de)
 /** DBGCORECOREDESCRIPTOR::u32FmtVersion. */
-#define DBGFCORE_FMT_VERSION    UINT32_C(0x00010005)
+#define DBGFCORE_FMT_VERSION    UINT32_C(0x00010006)
 
 /**
@@ -134,4 +134,5 @@
     uint64_t            msrKernelGSBase;
     uint64_t            msrApicBase;
+    uint64_t            msrTscAux;
     uint64_t            aXcr[2];
     uint32_t            cbExt;
Index: /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp	(revision 83121)
+++ /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp	(revision 83122)
@@ -377,4 +377,5 @@
     pDbgfCpu->msrKernelGSBase = pCtx->msrKERNELGSBASE;
     pDbgfCpu->msrApicBase     = APICGetBaseMsrNoCheck(pVCpu);
+    pDbgfCpu->msrTscAux       = CPUMGetGuestTscAux(pVCpu);
     pDbgfCpu->aXcr[0]         = pCtx->aXcr[0];
     pDbgfCpu->aXcr[1]         = pCtx->aXcr[1];