V4L/DVB: follow lspci device/vendor style

Use "[%04x:%04x]" for PCI vendor/device IDs to follow the format
used by lspci(8).

Signed-off-by: Bjorn Helgaas <bjorn.helgaas@hp.com>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>

5 files changed, 5 insertions, 5 deletions

diff --git a/drivers/media/dvb/ttpci/av7110.c b/drivers/media/dvb/ttpci/av7110.c
index 0777e8f9544b..3b641804f6cb 100644
--- a/drivers/media/dvb/ttpci/av7110.c
+++ b/drivers/media/dvb/ttpci/av7110.c
@@ -2256,7 +2256,7 @@ static int frontend_init(struct av7110 *av7110)
         if (!av7110->fe) {
                 /* FIXME: propagate the failure code from the lower layers */
                 ret = -ENOMEM;
-                printk("dvb-ttpci: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n",
+                printk("dvb-ttpci: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n",
                        av7110->dev->pci->vendor,
                        av7110->dev->pci->device,
                        av7110->dev->pci->subsystem_vendor,
diff --git a/drivers/media/dvb/ttpci/budget-av.c b/drivers/media/dvb/ttpci/budget-av.c
index b7d1f2f18d3a..839c94101b4e 100644
--- a/drivers/media/dvb/ttpci/budget-av.c
+++ b/drivers/media/dvb/ttpci/budget-av.c
@@ -1049,7 +1049,7 @@ static void frontend_init(struct budget_av *budget_av)
 
         if (fe == NULL) {
                 printk(KERN_ERR "budget-av: A frontend driver was not found "
-                                "for device %04x/%04x subsystem %04x/%04x\n",
+                                "for device [%04x:%04x] subsystem [%04x:%04x]\n",
                        saa->pci->vendor,
                        saa->pci->device,
                        saa->pci->subsystem_vendor,
diff --git a/drivers/media/dvb/ttpci/budget-ci.c b/drivers/media/dvb/ttpci/budget-ci.c
index 060e7c785326..38dd5cf1aed2 100644
--- a/drivers/media/dvb/ttpci/budget-ci.c
+++ b/drivers/media/dvb/ttpci/budget-ci.c
@@ -1153,7 +1153,7 @@ static void frontend_init(struct budget_ci *budget_ci)
         }
 
         if (budget_ci->budget.dvb_frontend == NULL) {
-                printk("budget-ci: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n",
+                printk("budget-ci: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n",
                        budget_ci->budget.dev->pci->vendor,
                        budget_ci->budget.dev->pci->device,
                        budget_ci->budget.dev->pci->subsystem_vendor,
diff --git a/drivers/media/dvb/ttpci/budget-patch.c b/drivers/media/dvb/ttpci/budget-patch.c
index aa5ed4ef19f2..bbd234fe11c1 100644
--- a/drivers/media/dvb/ttpci/budget-patch.c
+++ b/drivers/media/dvb/ttpci/budget-patch.c
@@ -360,7 +360,7 @@ static void frontend_init(struct budget_patch* budget)
         }
 
         if (budget->dvb_frontend == NULL) {
-                printk("dvb-ttpci: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n",
+                printk("dvb-ttpci: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n",
                        budget->dev->pci->vendor,
                        budget->dev->pci->device,
                        budget->dev->pci->subsystem_vendor,
diff --git a/drivers/media/dvb/ttpci/budget.c b/drivers/media/dvb/ttpci/budget.c
index f0068996ac07..851e523fbffc 100644
--- a/drivers/media/dvb/ttpci/budget.c
+++ b/drivers/media/dvb/ttpci/budget.c
@@ -550,7 +550,7 @@ static void frontend_init(struct budget *budget)
         }
 
         if (budget->dvb_frontend == NULL) {
-                printk("budget: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n",
+                printk("budget: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n",
                        budget->dev->pci->vendor,
                        budget->dev->pci->device,
                        budget->dev->pci->subsystem_vendor,