#include "kvm/irq.h"
#include "kvm/uip.h"
#include "kvm/ioeventfd.h"
+#include "kvm/guest_compat.h"
#include <linux/virtio_net.h>
#include <linux/if_tun.h>
u32 vq_vector[VIRTIO_NET_NUM_QUEUES];
u32 gsis[VIRTIO_NET_NUM_QUEUES];
u32 msix_io_block;
+ int compat_id;
pthread_t io_rx_thread;
pthread_mutex_t io_rx_lock;
assert(ndev.queue_selector < VIRTIO_NET_NUM_QUEUES);
+ compat__remove_message(ndev.compat_id);
+
queue = &ndev.vqs[ndev.queue_selector];
queue->pfn = ioport__read32(data);
p = guest_pfn_to_host(kvm, queue->pfn);
ioeventfd__add_event(&ioevent);
}
+
+ ndev.compat_id = compat__add_message("virtio-net device was not detected",
+ "While you have requested a virtio-net device, "
+ "the guest kernel didn't seem to detect it.\n"
+ "Please make sure that the kernel was compiled"
+ "with CONFIG_VIRTIO_NET.");
}