X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=4d725d1fdb56fcf4f2e6481fd7a161af2a080c0c;hb=6eecf583b522147ef13faabb634562f6f23bb712;hp=9fbc895c1af4a18790b005dbb177a4f4610e79c6;hpb=f224dad455ede0cdeadb60d0e428afcc869a4b2d;p=palacios.releases.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 9fbc895..4d725d1 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VMM_H
 #define __VMM_H
 
@@ -29,12 +32,12 @@
 
 
 
-#define PrintError(fmt, args...)			\
-  do {							\
-    extern struct vmm_os_hooks * os_hooks;		\
-    if ((os_hooks) && (os_hooks)->print_debug) {	\
-      (os_hooks)->print_debug((fmt), ##args);		\
-    }							\
+#define PrintError(fmt, args...)					\
+  do {									\
+    extern struct vmm_os_hooks * os_hooks;				\
+    if ((os_hooks) && (os_hooks)->print_debug) {			\
+      (os_hooks)->print_debug("%s(%d): " fmt, __FILE__, __LINE__, ##args); \
+    }									\
   } while (0)						
 
 
@@ -53,12 +56,12 @@
 
 
 #if VMM_TRACE
-#define PrintTrace(fmt, args...)			\
-  do {							\
-    extern struct vmm_os_hooks * os_hooks;		\
-    if ((os_hooks) && (os_hooks)->print_trace) {	\
-      (os_hooks)->print_trace((fmt), ##args);		\
-    }							\
+#define PrintTrace(fmt, args...)					\
+  do {									\
+    extern struct vmm_os_hooks * os_hooks;				\
+    if ((os_hooks) && (os_hooks)->print_trace) {			\
+      (os_hooks)->print_trace(fmt, ##args);				\
+    }									\
   } while (0)						
 #else
 #define PrintTrace(fmt, args...)