Index: /trunk/include/VBox/vmm/dbgfcorefmt.h
===================================================================
--- /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 61531)
+++ /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 61532)
@@ -49,5 +49,5 @@
 #define DBGFCORE_MAGIC          UINT32_C(0xc01ac0de)
 /** DBGCORECOREDESCRIPTOR::u32FmtVersion. */
-#define DBGFCORE_FMT_VERSION    UINT32_C(0x00010003)
+#define DBGFCORE_FMT_VERSION    UINT32_C(0x00010004)
 
 /**
@@ -101,4 +101,5 @@
     uint64_t            rsp;
     uint64_t            rbp;
+    uint64_t            rflags;
     DBGFCORESEL         cs;
     DBGFCORESEL         ds;
Index: /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp	(revision 61531)
+++ /trunk/src/VBox/VMM/VMMR3/DBGFCoreWrite.cpp	(revision 61532)
@@ -345,4 +345,5 @@
     pDbgfCpu->rsp             = pCtx->rsp;
     pDbgfCpu->rbp             = pCtx->rbp;
+    pDbgfCpu->rflags          = pCtx->rflags.u;
     DBGFCOPYSEL(pDbgfCpu->cs, pCtx->cs);
     DBGFCOPYSEL(pDbgfCpu->ds, pCtx->ds);