X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_io.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_io.c;h=65dc6cf82ec941232fdc4c18e990425c7b3ab906;hb=87bd737bb0bd554f17b4f02a8f138b0c4c970976;hp=f7bea5a27d905df15320236deb9eb9c5f24d77c5;hpb=c82c9c6cd8e4b1ef0bfd6dedd8da8ad3edb307cb;p=palacios.git

diff --git a/palacios/src/palacios/vmm_io.c b/palacios/src/palacios/vmm_io.c
index f7bea5a..65dc6cf 100644
--- a/palacios/src/palacios/vmm_io.c
+++ b/palacios/src/palacios/vmm_io.c
@@ -156,7 +156,7 @@ void v3_print_io_map(struct guest_info * info) {
   struct v3_io_hook * tmp_hook = NULL;
   struct rb_node * node = v3_rb_first(&(info->io_map));
 
-  PrintDebug("VMM IO Map (Entries=%d)\n", io_map->num_ports);
+  PrintDebug("VMM IO Map\n");
 
   do {
     tmp_hook = rb_entry(node, struct v3_io_hook, tree_node);