hacked in PCI IO port auto assignment because our BIOS for whatever reason doesn...

[palacios.git] / palacios / src / devices / lnx_virtio_blk.c

diff --git a/palacios/src/devices/lnx_virtio_blk.c b/palacios/src/devices/lnx_virtio_blk.c
index 17352ac..b3ea47b 100644 (file)
--- a/palacios/src/devices/lnx_virtio_blk.c
+++ b/palacios/src/devices/lnx_virtio_blk.c
@@ -25,12 +25,14 @@
 #include <palacios/vm_guest_mem.h>
 
 #include <devices/pci.h>
+#include <palacios/vmm_io.h>
 
-
+/*
 #ifndef DEBUG_VIRTIO_BLK
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
+*/
 
 #define BLK_CAPACITY_PORT     20
 #define BLK_MAX_SIZE_PORT     28
@@ -611,6 +613,8 @@ static int virtio_init(struct guest_info * vm, void * cfg_data) {
            bars[i].type = PCI_BAR_NONE;
        }
 
+       PrintDebug("Virtio-BLK io_range_size = %d\n", virtio_state->io_range_size);
+
        bars[0].type = PCI_BAR_IO;
        bars[0].default_base_port = -1;
        bars[0].num_ports = virtio_state->io_range_size;