| Submitter | Avi Kivity |
|---|---|
| Date | Oct. 30, 2012, 11:47 a.m. |
| Message ID | <1351597670-23031-7-git-send-email-avi@redhat.com> |
| Download | mbox | patch |
| Permalink | /patch/195461/ |
| State | New |
| Headers | show |
Comments
Patch
diff --git a/hw/vfio_pci.c b/hw/vfio_pci.c index 0473ae8..bd7a075 100644 --- a/hw/vfio_pci.c +++ b/hw/vfio_pci.c @@ -943,6 +943,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 %"HWADDR_PRIx" - %"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(+)