always specify virtio-blk rather than virtio

[seabios.git] / src / virtio-pci.c

diff --git a/src/virtio-pci.c b/src/virtio-pci.c
index e171ea353fa758e268f3b54294a90b96b476a375..db19e974a8560b5aae4b8cd8943145723aa39c3c 100644 (file)
--- a/src/virtio-pci.c
+++ b/src/virtio-pci.c
@@ -17,6 +17,8 @@
 
 #include "virtio-ring.h"
 #include "virtio-pci.h"
+#include "config.h" // CONFIG_DEBUG_LEVEL
+#include "util.h" // dprintf
 
 int vp_find_vq(unsigned int ioaddr, int queue_index,
                struct vring_virtqueue *vq)