diff options
| author | Avi Kivity <avi.kivity@gmail.com> | 2012-10-30 13:47:49 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2013-06-20 16:32:47 +0200 |
| commit | 06d985f5d844d07d31b4dada20f4ff6cf0d6ff4a (patch) | |
| tree | 14555c0687235edc3c3a0b3bf97cd8ae7ce7b201 /hw/misc | |
| parent | 068665757da047d7d2980c17bba0659eb0ea0a89 (diff) | |
vfio: abort if an emulated iommu is used
vfio doesn't support guest iommus yet, indicate it to the user
by gently depositing a core on their disk.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Avi Kivity <avi.kivity@gmail.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'hw/misc')
| -rw-r--r-- | hw/misc/vfio.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hw/misc/vfio.c b/hw/misc/vfio.c index c89676b3ff..52fb03601d 100644 --- a/hw/misc/vfio.c +++ b/hw/misc/vfio.c @@ -1939,6 +1939,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("SKIPPING region_add %"HWADDR_PRIx" - %"PRIx64"\n", section->offset_within_address_space, |