From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Wed, 11 Mar 2009 19:18:09 +0000 (-0500)
Subject: debugging fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=87bd737bb0bd554f17b4f02a8f138b0c4c970976

debugging fix
---

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);