Index: /trunk/doc/manual/en_US/user_Troubleshooting.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Troubleshooting.xml	(revision 56523)
+++ /trunk/doc/manual/en_US/user_Troubleshooting.xml	(revision 56524)
@@ -433,5 +433,5 @@
 [ Note Header, type NT_VBOXCPU ] - one for each vCPU
 [ vCPU 1 Note Header ]
-  [ CPUMCTX - vCPU 1 dump ]
+  [ DBGFCORECPU - vCPU 1 dump ]
 [ Additional Notes + Data ] - currently unused
 [ Memory dump ]</screen></para>
@@ -444,5 +444,5 @@
       VirtualBox sources under the following header files:
       <computeroutput>include/VBox/dbgfcorefmt.h</computeroutput>,
-      <computeroutput>include/VBox/cpumctx.h</computeroutput> and
+      <computeroutput>include/iprt/x86.h</computeroutput> and
       <computeroutput>src/VBox/Runtime/include/internal/ldrELFCommon.h</computeroutput>.</para>