X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_util.c;h=e6fd1fb494322b60cb26b9bb09de593501072c55;hb=022f63d320c2837822dc7f6be84f860a01f02d7c;hp=fb9cce0d6cea3ac0b65dbf34118317dfa7ae684e;hpb=caf85567e859e58d73a0214ff2a89671692814a5;p=palacios.git

diff --git a/palacios/src/palacios/vmm_util.c b/palacios/src/palacios/vmm_util.c
index fb9cce0..e6fd1fb 100644
--- a/palacios/src/palacios/vmm_util.c
+++ b/palacios/src/palacios/vmm_util.c
@@ -24,8 +24,11 @@
 void v3_dump_mem(uint8_t * start, int n) {
     int i, j;
     char buf[128];
-      
 
+    if (!start) {
+	return;
+    }      
+    
     for (i = 0; i < n; i += 16) {
       snprintf(buf, 128, "%p ", (void *)(start + i));
       for (j = i; (j < (i + 16)) && (j < n); j++) {
@@ -36,7 +39,7 @@ void v3_dump_mem(uint8_t * start, int n) {
       }
       snprintf(buf+strlen(buf),128-strlen(buf), "\n");
       buf[strlen(buf)]=0;
-      V3_Print("%s",buf);
+      V3_Print(VM_NONE, VCORE_NONE, "%s",buf);
     }
     
 }