Message ID | 1369948629-2833-14-git-send-email-pbonzini@redhat.com |
---|---|
State | New |
Headers | show |
On 05/30/2013 02:17 PM, Paolo Bonzini wrote: > From: Avi Kivity <avi.kivity@gmail.com> > > 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> > --- > hw/misc/vfio.c | 2 ++ > 1 file changed, 2 insertions(+) Reviewed-by: Richard Henderson <rth@twiddle.net> r~
diff --git a/hw/misc/vfio.c b/hw/misc/vfio.c index c89676b..52fb036 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,