Posted Mar 25, 2011 0:02 UTC (Fri) by corbet (editor, #1)
[Link]
dev_dbg() (dev_printk(), really) uses the device pointer to add the name of the actual device to the output. That way we get standardized device-related message formats with information that, hopefully, is useful to the system admin.