diff options
Diffstat (limited to 'drivers/media/dvb/ttpci/budget.c')
| -rw-r--r-- | drivers/media/dvb/ttpci/budget.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) | |||
| 550 | } | 550 | } |
| 551 | 551 | ||
| 552 | if (budget->dvb_frontend == NULL) { | 552 | if (budget->dvb_frontend == NULL) { |
| 553 | printk("budget: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n", | 553 | printk("budget: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n", |
| 554 | budget->dev->pci->vendor, | 554 | budget->dev->pci->vendor, |
| 555 | budget->dev->pci->device, | 555 | budget->dev->pci->device, |
| 556 | budget->dev->pci->subsystem_vendor, | 556 | budget->dev->pci->subsystem_vendor, |