X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_mem.c;h=000dac0e53889f376fee19354de810dc7aff580f;hb=e058c75f238c6662f6ae1cd517bbca030cc130ab;hp=182e5634a7abd4f9db93819b0762753c3d1364e6;hpb=78818a71a31b4cbe264c1292f7bcbdbfd2ceb544;p=palacios.git

diff --git a/palacios/src/palacios/vmm_mem.c b/palacios/src/palacios/vmm_mem.c
index 182e563..000dac0 100644
--- a/palacios/src/palacios/vmm_mem.c
+++ b/palacios/src/palacios/vmm_mem.c
@@ -206,7 +206,7 @@ struct v3_shadow_region * insert_shadow_region(struct guest_info * info,
     if ((ret = __insert_shadow_region(info, region))) {
 	return ret;
     }
-  
+
     v3_rb_insert_color(&(region->tree_node), &(info->mem_map.shdw_regions));
 
 
@@ -406,6 +406,12 @@ void print_shadow_map(struct guest_info * info) {
 	       (void *)(reg->guest_end - 1), 
 	       (void *)(reg->host_addr));
     
+
+    // If the memory map is empty, don't print it
+    if (node == NULL) {
+	return;
+    }
+
     do {
 	reg = rb_entry(node, struct v3_shadow_region, tree_node);