--- a/graphics_plat/guestvideodriver_api/ldd/inc/virtualvideohwinterface.h	Fri Aug 13 15:24:50 2010 +0100
+++ b/graphics_plat/guestvideodriver_api/ldd/inc/virtualvideohwinterface.h	Mon Aug 16 10:01:57 2010 +0100
@@ -18,7 +18,6 @@
 #define VIRTUALVIDEOHWINTERFACE_H
 
 #include <kernel/kernel.h>
-#include <internal/trace_utils.h>
 #include <graphics/guestvideodriverinterfaceconstants.h>
 
 /**