code clean up

[palacios.git] / palacios / include / palacios / vmm_util.h

diff --git a/palacios/include/palacios/vmm_util.h b/palacios/include/palacios/vmm_util.h
index 38ae086..6ecfa55 100644 (file)
--- a/palacios/include/palacios/vmm_util.h
+++ b/palacios/include/palacios/vmm_util.h
@@ -1,6 +1,8 @@
 #ifndef __VMM_UTIL_H
 #define __VMM_UTIL_H
 
+#ifdef __V3VEE__
+
 #include <palacios/vmm_types.h>
 
 
@@ -136,6 +138,6 @@ void PrintTraceMemDump(unsigned char * start, int n);
 
 
 
-
+#endif // ! __V3VEE__
 
 #endif