Index: /trunk/include/VBox/vmm/dbgfcorefmt.h
===================================================================
--- /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 56518)
+++ /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 56519)
@@ -39,5 +39,6 @@
  *
  * @todo Add description of the core file format and how the structures in this
- *       file relate to it.  Point to CPUMCTX in cpum.h for the CPU state.
+ *       file relate to it.  Point to X86XSAVEAREA in x86.h for the CPU's
+ *       FPU/SSE/AVX/XXX state.
  * @todo Add the note names.
  *