| Message ID | 1349962023-560-7-git-send-email-avi@redhat.com |
|---|---|
| State | New |
| Headers | show |
diff --git a/hw/vfio_pci.c b/hw/vfio_pci.c index e9399a1..f935d00 100644 --- a/hw/vfio_pci.c +++ b/hw/vfio_pci.c @@ -817,6 +817,8 @@ static void vfio_listener_region_add(MemoryListener *listener, void *vaddr; int ret; + assert(!memory_region_is_iommu(section.mr)); + if (vfio_listener_skipped_section(section)) { DPRINTF("vfio: SKIPPING region_add %"TARGET_PRIxPHYS" - %"PRIx64"\n", section->offset_within_address_space,
vfio doesn't support guest iommus yet, indicate it to the user by gently depositing a core on their disk. Signed-off-by: Avi Kivity <avi@redhat.com> --- hw/vfio_pci.c | 2 ++ 1 file changed, 2 insertions(+)