Message ID | 1470640761-17579-4-git-send-email-armbru@redhat.com |
---|---|
State | New |
Headers | show |
diff --git a/hw/vfio/platform.c b/hw/vfio/platform.c index 1798a00..a559e7b 100644 --- a/hw/vfio/platform.c +++ b/hw/vfio/platform.c @@ -496,7 +496,7 @@ static int vfio_populate_device(VFIODevice *vbasedev) irq.index = i; ret = ioctl(vbasedev->fd, VFIO_DEVICE_GET_IRQ_INFO, &irq); if (ret) { - error_printf("vfio: error getting device %s irq info", + error_report("vfio: error getting device %s irq info", vbasedev->name); goto irq_err; } else {