Message ID | 1470224274-31522-4-git-send-email-armbru@redhat.com |
---|---|
State | New |
Headers | show |
On 08/03/2016 05:37 AM, Markus Armbruster wrote: > Cc: Alex Williamson <alex.williamson@redhat.com> > Signed-off-by: Markus Armbruster <armbru@redhat.com> > --- > hw/vfio/platform.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > Reviewed-by: Eric Blake <eblake@redhat.com> > 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 { >
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 {
Cc: Alex Williamson <alex.williamson@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com> --- hw/vfio/platform.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)