diff options
Diffstat (limited to 'drivers/media/dvb/ttpci/budget-ci.c')
| -rw-r--r-- | drivers/media/dvb/ttpci/budget-ci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/media/dvb/ttpci/budget-ci.c b/drivers/media/dvb/ttpci/budget-ci.c index 060e7c78532..38dd5cf1aed 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) | |||
| 1153 | } | 1153 | } |
| 1154 | 1154 | ||
| 1155 | if (budget_ci->budget.dvb_frontend == NULL) { | 1155 | if (budget_ci->budget.dvb_frontend == NULL) { |
| 1156 | printk("budget-ci: A frontend driver was not found for device %04x/%04x subsystem %04x/%04x\n", | 1156 | printk("budget-ci: A frontend driver was not found for device [%04x:%04x] subsystem [%04x:%04x]\n", |
| 1157 | budget_ci->budget.dev->pci->vendor, | 1157 | budget_ci->budget.dev->pci->vendor, |
| 1158 | budget_ci->budget.dev->pci->device, | 1158 | budget_ci->budget.dev->pci->device, |
| 1159 | budget_ci->budget.dev->pci->subsystem_vendor, | 1159 | budget_ci->budget.dev->pci->subsystem_vendor, |