X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_util.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm_util.h;h=f3319b619bf5cc7ceedbb1996d759d01cecf5cf3;hp=c6111d2dd1a745c07e72a56dec91b42e2f29811b;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hpb=87b1679efe8bee960b65cfd730188ccc94966b71

diff --git a/palacios/include/palacios/vmm_util.h b/palacios/include/palacios/vmm_util.h
index c6111d2..f3319b6 100644
--- a/palacios/include/palacios/vmm_util.h
+++ b/palacios/include/palacios/vmm_util.h
@@ -84,7 +84,7 @@ void v3_dump_mem(uint8_t * start, int n);
 	    __rem;				\
 	})						
 
-//#define do_divll do_div
+/*#define do_divll do_div*/
 
 
 /*
@@ -150,6 +150,6 @@ void v3_dump_mem(uint8_t * start, int n);
 
 
 
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
 
 #endif