Index: /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.cpp	(revision 86855)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA.cpp	(revision 86856)
@@ -509,4 +509,5 @@
 #endif /* LOG_ENABLED */
 
+#if defined(LOG_ENABLED) || (defined(IN_RING3) && defined(VBOX_WITH_VMSVGA3D))
 static const char *vmsvgaDevCapIndexToString(SVGA3dDevCapIndex idxDevCap)
 {
@@ -766,4 +767,5 @@
     return "UNKNOWN";
 }
+#endif /* defined(LOG_ENABLED) || (defined(IN_RING3) && defined(VBOX_WITH_VMSVGA3D)) */
 #undef SVGA_CASE_ID2STR