Index: /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.h
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.h	(revision 65295)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.h	(revision 65296)
@@ -69,5 +69,5 @@
 #define VMSVGA_VGA_FB_BACKUP_SIZE                       _512K
 
-/** @def VMSVGA_WITH_BACKUP_VGA_FB
+/** @def VMSVGA_WITH_VGA_FB_BACKUP
  * Enables correct VGA MMIO read/write handling when VMSVGA is enabled.  It
  * is SLOW and probably not entirely right, but it helps with getting 3dmark
@@ -77,5 +77,5 @@
 /** @def VMSVGA_WITH_VGA_FB_BACKUP_AND_IN_RING3
  * defined(VMSVGA_WITH_VGA_FB_BACKUP) && defined(IN_RING3)  */
-#if defined(VMSVGA_WITH_VGA_FB_BACKUP) && defined(IN_RING3)
+#if (defined(VMSVGA_WITH_VGA_FB_BACKUP) && defined(IN_RING3)) || defined(DOXYGEN_RUNNING)
 # define VMSVGA_WITH_VGA_FB_BACKUP_AND_IN_RING3         1
 #else
@@ -85,5 +85,5 @@
 /** @def VMSVGA_WITH_VGA_FB_BACKUP_AND_IN_RZ
  * defined(VMSVGA_WITH_VGA_FB_BACKUP) && !defined(IN_RING3)  */
-#if defined(VMSVGA_WITH_VGA_FB_BACKUP) && !defined(IN_RING3)
+#if (defined(VMSVGA_WITH_VGA_FB_BACKUP) && !defined(IN_RING3)) || defined(DOXYGEN_RUNNING)
 # define VMSVGA_WITH_VGA_FB_BACKUP_AND_IN_RZ            1
 #else