X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_util.c;h=e6fd1fb494322b60cb26b9bb09de593501072c55;hb=6fa605075d1944da0a88a389122ea24bbc583329;hp=678a42b6f5e592629b9cf012d581003b3d351744;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/palacios/vmm_util.c b/palacios/src/palacios/vmm_util.c
index 678a42b..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++) {