xref: /kvmtool/virtio/core.c (revision bbea6c7ad7f6f2dbcebfe21d301f9b1cb9687538)
139d6af07SAsias He #include <linux/virtio_ring.h>
23fdf659dSSasha Levin #include <linux/types.h>
339d6af07SAsias He #include <sys/uio.h>
402eca50cSAsias He #include <stdlib.h>
52caa836dSIngo Molnar 
652f34d2cSAsias He #include "kvm/guest_compat.h"
72caa836dSIngo Molnar #include "kvm/barrier.h"
839d6af07SAsias He #include "kvm/virtio.h"
902eca50cSAsias He #include "kvm/virtio-pci.h"
10755752d6SAsias He #include "kvm/virtio-mmio.h"
1102eca50cSAsias He #include "kvm/util.h"
1202eca50cSAsias He #include "kvm/kvm.h"
1302eca50cSAsias He 
1439d6af07SAsias He 
15dc7a55d6SSuzuki K. Poulose const char* virtio_trans_name(enum virtio_trans trans)
16dc7a55d6SSuzuki K. Poulose {
17dc7a55d6SSuzuki K. Poulose 	if (trans == VIRTIO_PCI)
18dc7a55d6SSuzuki K. Poulose 		return "pci";
19dc7a55d6SSuzuki K. Poulose 	else if (trans == VIRTIO_MMIO)
20dc7a55d6SSuzuki K. Poulose 		return "mmio";
21dc7a55d6SSuzuki K. Poulose 	return "unknown";
22dc7a55d6SSuzuki K. Poulose }
23dc7a55d6SSuzuki K. Poulose 
243fea89a9SWill Deacon void virt_queue__used_idx_advance(struct virt_queue *queue, u16 jump)
2539d6af07SAsias He {
26fb591944SMarc Zyngier 	u16 idx = virtio_guest_to_host_u16(queue, queue->vring.used->idx);
27407475bfSPekka Enberg 
2894902782SSasha Levin 	/*
2994902782SSasha Levin 	 * Use wmb to assure that used elem was updated with head and len.
3094902782SSasha Levin 	 * We need a wmb here since we can't advance idx unless we're ready
3194902782SSasha Levin 	 * to pass the used element to the guest.
3294902782SSasha Levin 	 */
3394902782SSasha Levin 	wmb();
343fea89a9SWill Deacon 	idx += jump;
35fb591944SMarc Zyngier 	queue->vring.used->idx = virtio_host_to_guest_u16(queue, idx);
3694902782SSasha Levin 
3794902782SSasha Levin 	/*
3894902782SSasha Levin 	 * Use wmb to assure used idx has been increased before we signal the guest.
3994902782SSasha Levin 	 * Without a wmb here the guest may ignore the queue since it won't see
4094902782SSasha Levin 	 * an updated idx.
4194902782SSasha Levin 	 */
4294902782SSasha Levin 	wmb();
433fea89a9SWill Deacon }
443fea89a9SWill Deacon 
453fea89a9SWill Deacon struct vring_used_elem *
463fea89a9SWill Deacon virt_queue__set_used_elem_no_update(struct virt_queue *queue, u32 head,
473fea89a9SWill Deacon 				    u32 len, u16 offset)
483fea89a9SWill Deacon {
493fea89a9SWill Deacon 	struct vring_used_elem *used_elem;
503fea89a9SWill Deacon 	u16 idx = virtio_guest_to_host_u16(queue, queue->vring.used->idx);
513fea89a9SWill Deacon 
523fea89a9SWill Deacon 	idx += offset;
533fea89a9SWill Deacon 	used_elem	= &queue->vring.used->ring[idx % queue->vring.num];
543fea89a9SWill Deacon 	used_elem->id	= virtio_host_to_guest_u32(queue, head);
553fea89a9SWill Deacon 	used_elem->len	= virtio_host_to_guest_u32(queue, len);
563fea89a9SWill Deacon 
573fea89a9SWill Deacon 	return used_elem;
583fea89a9SWill Deacon }
593fea89a9SWill Deacon 
603fea89a9SWill Deacon struct vring_used_elem *virt_queue__set_used_elem(struct virt_queue *queue, u32 head, u32 len)
613fea89a9SWill Deacon {
623fea89a9SWill Deacon 	struct vring_used_elem *used_elem;
633fea89a9SWill Deacon 
643fea89a9SWill Deacon 	used_elem = virt_queue__set_used_elem_no_update(queue, head, len, 0);
653fea89a9SWill Deacon 	virt_queue__used_idx_advance(queue, 1);
6694902782SSasha Levin 
6739d6af07SAsias He 	return used_elem;
6839d6af07SAsias He }
6939d6af07SAsias He 
70fb591944SMarc Zyngier static inline bool virt_desc__test_flag(struct virt_queue *vq,
71fb591944SMarc Zyngier 					struct vring_desc *desc, u16 flag)
72fb591944SMarc Zyngier {
73fb591944SMarc Zyngier 	return !!(virtio_guest_to_host_u16(vq, desc->flags) & flag);
74fb591944SMarc Zyngier }
75fb591944SMarc Zyngier 
76754c8ce3SSasha Levin /*
77754c8ce3SSasha Levin  * Each buffer in the virtqueues is actually a chain of descriptors.  This
78*bbea6c7aSJean-Philippe Brucker  * function returns the next descriptor in the chain, or max if we're at the
79*bbea6c7aSJean-Philippe Brucker  * end.
80754c8ce3SSasha Levin  */
81fb591944SMarc Zyngier static unsigned next_desc(struct virt_queue *vq, struct vring_desc *desc,
82754c8ce3SSasha Levin 			  unsigned int i, unsigned int max)
83754c8ce3SSasha Levin {
84754c8ce3SSasha Levin 	unsigned int next;
85754c8ce3SSasha Levin 
86754c8ce3SSasha Levin 	/* If this descriptor says it doesn't chain, we're done. */
87fb591944SMarc Zyngier 	if (!virt_desc__test_flag(vq, &desc[i], VRING_DESC_F_NEXT))
88754c8ce3SSasha Levin 		return max;
89754c8ce3SSasha Levin 
90fb591944SMarc Zyngier 	next = virtio_guest_to_host_u16(vq, desc[i].next);
91754c8ce3SSasha Levin 
92*bbea6c7aSJean-Philippe Brucker 	/* Ensure they're not leading us off end of descriptors. */
93*bbea6c7aSJean-Philippe Brucker 	return min(next, max);
94754c8ce3SSasha Levin }
95754c8ce3SSasha Levin 
962fddfdb5SAsias He u16 virt_queue__get_head_iov(struct virt_queue *vq, struct iovec iov[], u16 *out, u16 *in, u16 head, struct kvm *kvm)
9739d6af07SAsias He {
9839d6af07SAsias He 	struct vring_desc *desc;
992fddfdb5SAsias He 	u16 idx;
100754c8ce3SSasha Levin 	u16 max;
10139d6af07SAsias He 
1022fddfdb5SAsias He 	idx = head;
10339d6af07SAsias He 	*out = *in = 0;
104754c8ce3SSasha Levin 	max = vq->vring.num;
105754c8ce3SSasha Levin 	desc = vq->vring.desc;
106754c8ce3SSasha Levin 
107fb591944SMarc Zyngier 	if (virt_desc__test_flag(vq, &desc[idx], VRING_DESC_F_INDIRECT)) {
108fb591944SMarc Zyngier 		max = virtio_guest_to_host_u32(vq, desc[idx].len) / sizeof(struct vring_desc);
109fb591944SMarc Zyngier 		desc = guest_flat_to_host(kvm, virtio_guest_to_host_u64(vq, desc[idx].addr));
110754c8ce3SSasha Levin 		idx = 0;
111754c8ce3SSasha Levin 	}
11239d6af07SAsias He 
11339d6af07SAsias He 	do {
114754c8ce3SSasha Levin 		/* Grab the first descriptor, and check it's OK. */
115fb591944SMarc Zyngier 		iov[*out + *in].iov_len = virtio_guest_to_host_u32(vq, desc[idx].len);
116fb591944SMarc Zyngier 		iov[*out + *in].iov_base = guest_flat_to_host(kvm,
117fb591944SMarc Zyngier 							      virtio_guest_to_host_u64(vq, desc[idx].addr));
118754c8ce3SSasha Levin 		/* If this is an input descriptor, increment that count. */
119fb591944SMarc Zyngier 		if (virt_desc__test_flag(vq, &desc[idx], VRING_DESC_F_WRITE))
12039d6af07SAsias He 			(*in)++;
12139d6af07SAsias He 		else
12239d6af07SAsias He 			(*out)++;
123fb591944SMarc Zyngier 	} while ((idx = next_desc(vq, desc, idx, max)) != max);
12439d6af07SAsias He 
12539d6af07SAsias He 	return head;
12639d6af07SAsias He }
1277f5ffaf5SAsias He 
1282fddfdb5SAsias He u16 virt_queue__get_iov(struct virt_queue *vq, struct iovec iov[], u16 *out, u16 *in, struct kvm *kvm)
1292fddfdb5SAsias He {
1302fddfdb5SAsias He 	u16 head;
1312fddfdb5SAsias He 
1322fddfdb5SAsias He 	head = virt_queue__pop(vq);
1332fddfdb5SAsias He 
1342fddfdb5SAsias He 	return virt_queue__get_head_iov(vq, iov, out, in, head, kvm);
1352fddfdb5SAsias He }
1362fddfdb5SAsias He 
13708861bcfSAneesh Kumar K.V /* in and out are relative to guest */
13808861bcfSAneesh Kumar K.V u16 virt_queue__get_inout_iov(struct kvm *kvm, struct virt_queue *queue,
13908861bcfSAneesh Kumar K.V 			      struct iovec in_iov[], struct iovec out_iov[],
14008861bcfSAneesh Kumar K.V 			      u16 *in, u16 *out)
14108861bcfSAneesh Kumar K.V {
14208861bcfSAneesh Kumar K.V 	struct vring_desc *desc;
1432fddfdb5SAsias He 	u16 head, idx;
14408861bcfSAneesh Kumar K.V 
14508861bcfSAneesh Kumar K.V 	idx = head = virt_queue__pop(queue);
14608861bcfSAneesh Kumar K.V 	*out = *in = 0;
14708861bcfSAneesh Kumar K.V 	do {
148fb591944SMarc Zyngier 		u64 addr;
14908861bcfSAneesh Kumar K.V 		desc = virt_queue__get_desc(queue, idx);
150fb591944SMarc Zyngier 		addr = virtio_guest_to_host_u64(queue, desc->addr);
151fb591944SMarc Zyngier 		if (virt_desc__test_flag(queue, desc, VRING_DESC_F_WRITE)) {
152fb591944SMarc Zyngier 			in_iov[*in].iov_base = guest_flat_to_host(kvm, addr);
153fb591944SMarc Zyngier 			in_iov[*in].iov_len = virtio_guest_to_host_u32(queue, desc->len);
15408861bcfSAneesh Kumar K.V 			(*in)++;
15508861bcfSAneesh Kumar K.V 		} else {
156fb591944SMarc Zyngier 			out_iov[*out].iov_base = guest_flat_to_host(kvm, addr);
157fb591944SMarc Zyngier 			out_iov[*out].iov_len = virtio_guest_to_host_u32(queue, desc->len);
15808861bcfSAneesh Kumar K.V 			(*out)++;
15908861bcfSAneesh Kumar K.V 		}
160fb591944SMarc Zyngier 		if (virt_desc__test_flag(queue, desc, VRING_DESC_F_NEXT))
161fb591944SMarc Zyngier 			idx = virtio_guest_to_host_u16(queue, desc->next);
16208861bcfSAneesh Kumar K.V 		else
16308861bcfSAneesh Kumar K.V 			break;
16408861bcfSAneesh Kumar K.V 	} while (1);
1652fddfdb5SAsias He 
16608861bcfSAneesh Kumar K.V 	return head;
16708861bcfSAneesh Kumar K.V }
16808861bcfSAneesh Kumar K.V 
1691382aba0SSasha Levin int virtio__get_dev_specific_field(int offset, bool msix, u32 *config_off)
170c3a79fa1SSasha Levin {
171c3a79fa1SSasha Levin 	if (msix) {
172c3a79fa1SSasha Levin 		if (offset < 4)
173c3a79fa1SSasha Levin 			return VIRTIO_PCI_O_MSIX;
174c3a79fa1SSasha Levin 		else
175c3a79fa1SSasha Levin 			offset -= 4;
176c3a79fa1SSasha Levin 	}
177c3a79fa1SSasha Levin 
178c3a79fa1SSasha Levin 	*config_off = offset;
179c3a79fa1SSasha Levin 
180c3a79fa1SSasha Levin 	return VIRTIO_PCI_O_CONFIG;
181c3a79fa1SSasha Levin }
18251b1454fSAsias He 
18351b1454fSAsias He bool virtio_queue__should_signal(struct virt_queue *vq)
18451b1454fSAsias He {
18551b1454fSAsias He 	u16 old_idx, new_idx, event_idx;
18651b1454fSAsias He 
187b7af514cSJean-Philippe Brucker 	if (!vq->use_event_idx) {
188b7af514cSJean-Philippe Brucker 		/*
189b7af514cSJean-Philippe Brucker 		 * When VIRTIO_RING_F_EVENT_IDX isn't negotiated, interrupt the
190b7af514cSJean-Philippe Brucker 		 * guest if it didn't explicitly request to be left alone.
191b7af514cSJean-Philippe Brucker 		 */
192b7af514cSJean-Philippe Brucker 		return !(virtio_guest_to_host_u16(vq, vq->vring.avail->flags) &
193b7af514cSJean-Philippe Brucker 			 VRING_AVAIL_F_NO_INTERRUPT);
194b7af514cSJean-Philippe Brucker 	}
195b7af514cSJean-Philippe Brucker 
19651b1454fSAsias He 	old_idx		= vq->last_used_signalled;
197fb591944SMarc Zyngier 	new_idx		= virtio_guest_to_host_u16(vq, vq->vring.used->idx);
198fb591944SMarc Zyngier 	event_idx	= virtio_guest_to_host_u16(vq, vring_used_event(&vq->vring));
19951b1454fSAsias He 
20051b1454fSAsias He 	if (vring_need_event(event_idx, new_idx, old_idx)) {
20151b1454fSAsias He 		vq->last_used_signalled = new_idx;
20251b1454fSAsias He 		return true;
20351b1454fSAsias He 	}
20451b1454fSAsias He 
20551b1454fSAsias He 	return false;
20651b1454fSAsias He }
20702eca50cSAsias He 
20856a16c90SJean-Philippe Brucker void virtio_set_guest_features(struct kvm *kvm, struct virtio_device *vdev,
20956a16c90SJean-Philippe Brucker 			       void *dev, u32 features)
21056a16c90SJean-Philippe Brucker {
21156a16c90SJean-Philippe Brucker 	/* TODO: fail negotiation if features & ~host_features */
21256a16c90SJean-Philippe Brucker 
21356a16c90SJean-Philippe Brucker 	vdev->features = features;
21456a16c90SJean-Philippe Brucker 	vdev->ops->set_guest_features(kvm, dev, features);
21556a16c90SJean-Philippe Brucker }
21656a16c90SJean-Philippe Brucker 
21702eca50cSAsias He int virtio_init(struct kvm *kvm, void *dev, struct virtio_device *vdev,
21802eca50cSAsias He 		struct virtio_ops *ops, enum virtio_trans trans,
21902eca50cSAsias He 		int device_id, int subsys_id, int class)
22002eca50cSAsias He {
22102eca50cSAsias He 	void *virtio;
22202eca50cSAsias He 
22302eca50cSAsias He 	switch (trans) {
22402eca50cSAsias He 	case VIRTIO_PCI:
22502eca50cSAsias He 		virtio = calloc(sizeof(struct virtio_pci), 1);
22602eca50cSAsias He 		if (!virtio)
22702eca50cSAsias He 			return -ENOMEM;
22802eca50cSAsias He 		vdev->virtio			= virtio;
22902eca50cSAsias He 		vdev->ops			= ops;
23002eca50cSAsias He 		vdev->ops->signal_vq		= virtio_pci__signal_vq;
23102eca50cSAsias He 		vdev->ops->signal_config	= virtio_pci__signal_config;
23202eca50cSAsias He 		vdev->ops->init			= virtio_pci__init;
23302eca50cSAsias He 		vdev->ops->exit			= virtio_pci__exit;
23402eca50cSAsias He 		vdev->ops->init(kvm, dev, vdev, device_id, subsys_id, class);
23502eca50cSAsias He 		break;
236755752d6SAsias He 	case VIRTIO_MMIO:
237755752d6SAsias He 		virtio = calloc(sizeof(struct virtio_mmio), 1);
238755752d6SAsias He 		if (!virtio)
239755752d6SAsias He 			return -ENOMEM;
240755752d6SAsias He 		vdev->virtio			= virtio;
241755752d6SAsias He 		vdev->ops			= ops;
242755752d6SAsias He 		vdev->ops->signal_vq		= virtio_mmio_signal_vq;
243755752d6SAsias He 		vdev->ops->signal_config	= virtio_mmio_signal_config;
244755752d6SAsias He 		vdev->ops->init			= virtio_mmio_init;
245755752d6SAsias He 		vdev->ops->exit			= virtio_mmio_exit;
246755752d6SAsias He 		vdev->ops->init(kvm, dev, vdev, device_id, subsys_id, class);
247755752d6SAsias He 		break;
24802eca50cSAsias He 	default:
24902eca50cSAsias He 		return -1;
25002eca50cSAsias He 	};
25102eca50cSAsias He 
25202eca50cSAsias He 	return 0;
25302eca50cSAsias He }
25452f34d2cSAsias He 
25552f34d2cSAsias He int virtio_compat_add_message(const char *device, const char *config)
25652f34d2cSAsias He {
25752f34d2cSAsias He 	int len = 1024;
25852f34d2cSAsias He 	int compat_id;
25952f34d2cSAsias He 	char *title;
26052f34d2cSAsias He 	char *desc;
26152f34d2cSAsias He 
26252f34d2cSAsias He 	title = malloc(len);
26352f34d2cSAsias He 	if (!title)
26452f34d2cSAsias He 		return -ENOMEM;
26552f34d2cSAsias He 
26652f34d2cSAsias He 	desc = malloc(len);
26752f34d2cSAsias He 	if (!desc) {
26852f34d2cSAsias He 		free(title);
26952f34d2cSAsias He 		return -ENOMEM;
27052f34d2cSAsias He 	}
27152f34d2cSAsias He 
27227cead0dSAsias He 	snprintf(title, len, "%s device was not detected.", device);
27352f34d2cSAsias He 	snprintf(desc,  len, "While you have requested a %s device, "
27452f34d2cSAsias He 			     "the guest kernel did not initialize it.\n"
27527cead0dSAsias He 			     "\tPlease make sure that the guest kernel was "
27627cead0dSAsias He 			     "compiled with %s=y enabled in .config.",
27752f34d2cSAsias He 			     device, config);
27852f34d2cSAsias He 
27952f34d2cSAsias He 	compat_id = compat__add_message(title, desc);
28052f34d2cSAsias He 
28152f34d2cSAsias He 	free(desc);
28252f34d2cSAsias He 	free(title);
28352f34d2cSAsias He 
28452f34d2cSAsias He 	return compat_id;
28552f34d2cSAsias He }
286