X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_util.h;h=3bc3fa4f48bcff996fdf505561b3f47ddca35b6a;hb=101529b6eae500272347287df43ec51aa003d0aa;hp=38ae0866055b5f5355ebd2d72cdd61bf5a166ef7;hpb=55c5cf8adebb870874e02b439b176f2b020ba5a0;p=palacios.git

diff --git a/palacios/include/palacios/vmm_util.h b/palacios/include/palacios/vmm_util.h
index 38ae086..3bc3fa4 100644
--- a/palacios/include/palacios/vmm_util.h
+++ b/palacios/include/palacios/vmm_util.h
@@ -1,6 +1,11 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VMM_UTIL_H
 #define __VMM_UTIL_H
 
+#ifdef __V3VEE__
+
 #include <palacios/vmm_types.h>
 
 
@@ -136,6 +141,6 @@ void PrintTraceMemDump(unsigned char * start, int n);
 
 
 
-
+#endif // ! __V3VEE__
 
 #endif