X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=f7a612d73069d65cff71a2e8e43c279d9cba20c3;hb=c0c9f2110ba4830893373b9471a4ff4242489f72;hp=82a8fc21c6b8860a7a5b3f2122c545ed9ada9746;hpb=c7a9fea1093d8000b547a394a90abe7dffc518da;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 82a8fc2..f7a612d 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -211,12 +211,12 @@ struct guest_info;
 
 /* This will contain function pointers that provide OS services */
 struct v3_os_hooks {
-  void (*print_info)(const char * format, ...)
-	__attribute__ ((format (printf, 1, 2)));
-  void (*print_debug)(const char * format, ...)
-	__attribute__ ((format (printf, 1, 2)));
-  void (*print_trace)(const char * format, ...)
-	__attribute__ ((format (printf, 1, 2)));
+  void (*print_info)(const char * format, ...);
+  //	__attribute__ ((format (printf, 1, 2)));
+  void (*print_debug)(const char * format, ...);
+  //	__attribute__ ((format (printf, 1, 2)));
+  void (*print_trace)(const char * format, ...);
+  //	__attribute__ ((format (printf, 1, 2)));
   
   void *(*allocate_pages)(int numPages);
   void (*free_page)(void * page);