duplicate device name print out by dev_xxxx

[eric miao]

All,

I found in recent kernel that dev_xxxx() macros will print out duplicate
device name, which is a bit ugly. And this is true at least for platform_device.

The reason is due to dev_printk() printing out both dev_driver_string(dev)
and (dev)->bus_id, the latter is assigned with the same driver name
for a platform_device.

Any idea on this?

-- 
Cheers
- eric
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/