updated the configuration/init process

[palacios.git] / palacios / src / palacios / vmm_io.c

diff --git a/palacios/src/palacios/vmm_io.c b/palacios/src/palacios/vmm_io.c
index f7bea5a..9756eb4 100644 (file)
--- a/palacios/src/palacios/vmm_io.c
+++ b/palacios/src/palacios/vmm_io.c
@@ -41,7 +41,6 @@ void v3_init_io_map(struct guest_info * info) {
 
 
 
-
 static inline struct v3_io_hook * __insert_io_hook(struct guest_info * info, struct v3_io_hook * hook) {
   struct rb_node ** p = &(info->io_map.rb_node);
   struct rb_node * parent = NULL;
@@ -156,7 +155,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);