On Tue, 04 Feb 2020 16:06:24 -0700 Alex Williamson <alex.williamson@xxxxxxxxxx> wrote: > It currently results in messages like: > > "vfio-pci 0000:03:00.0: vfio_pci: ..." > > Which is quite a bit redundant. > > Signed-off-by: Alex Williamson <alex.williamson@xxxxxxxxxx> > --- > drivers/vfio/pci/vfio_pci.c | 1 - > 1 file changed, 1 deletion(-) > > diff --git a/drivers/vfio/pci/vfio_pci.c b/drivers/vfio/pci/vfio_pci.c > index 026308aa18b5..343fe38ed06b 100644 > --- a/drivers/vfio/pci/vfio_pci.c > +++ b/drivers/vfio/pci/vfio_pci.c > @@ -9,7 +9,6 @@ > */ > > #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt > -#define dev_fmt pr_fmt > > #include <linux/device.h> > #include <linux/eventfd.h> > Yes, that looks a bit superfluous. Reviewed-by: Cornelia Huck <cohuck@xxxxxxxxxx>
