[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] virtio-iommu: Handle non power of 2 range invalidations
From: |
Eric Auger |
Subject: |
[PATCH] virtio-iommu: Handle non power of 2 range invalidations |
Date: |
Thu, 18 Feb 2021 15:16:50 +0100 |
Unmap notifiers work with an address mask assuming an
invalidation range of a power of 2. Nothing mandates this
in the VIRTIO-IOMMU spec.
So in case the range is not a power of 2, split it into
several invalidations.
Signed-off-by: Eric Auger <eric.auger@redhat.com>
---
hw/virtio/virtio-iommu.c | 23 ++++++++++++++++++++---
1 file changed, 20 insertions(+), 3 deletions(-)
diff --git a/hw/virtio/virtio-iommu.c b/hw/virtio/virtio-iommu.c
index c2883a2f6c..a4104c99ad 100644
--- a/hw/virtio/virtio-iommu.c
+++ b/hw/virtio/virtio-iommu.c
@@ -155,6 +155,8 @@ static void virtio_iommu_notify_unmap(IOMMUMemoryRegion
*mr, hwaddr virt_start,
hwaddr virt_end)
{
IOMMUTLBEvent event;
+ uint64_t mask = virt_end - virt_start;
+ uint64_t size;
if (!(mr->iommu_notify_flags & IOMMU_NOTIFIER_UNMAP)) {
return;
@@ -164,12 +166,27 @@ static void virtio_iommu_notify_unmap(IOMMUMemoryRegion
*mr, hwaddr virt_start,
event.type = IOMMU_NOTIFIER_UNMAP;
event.entry.target_as = &address_space_memory;
- event.entry.addr_mask = virt_end - virt_start;
- event.entry.iova = virt_start;
event.entry.perm = IOMMU_NONE;
event.entry.translated_addr = 0;
+ event.entry.addr_mask = mask;
+ event.entry.iova = virt_start;
- memory_region_notify_iommu(mr, 0, event);
+ if (mask == UINT64_MAX) {
+ memory_region_notify_iommu(mr, 0, event);
+ }
+
+ size = mask + 1;
+
+ while (size) {
+ uint8_t highest_bit = 64 - clz64(size) - 1;
+ uint64_t pow2size = BIT_ULL(highest_bit);
+
+ event.entry.addr_mask = pow2size - 1;
+ event.entry.iova = virt_start;
+ memory_region_notify_iommu(mr, 0, event);
+ size &= ~pow2size;
+ virt_start += pow2size;
+ }
}
static gboolean virtio_iommu_notify_unmap_cb(gpointer key, gpointer value,
--
2.26.2
- [PATCH] virtio-iommu: Handle non power of 2 range invalidations,
Eric Auger <=