On Tue, 11 Nov 2014, Martin Husemann wrote:
- create a log_dev(device_t, const char *fmt, ...) function and use that in drivers instead of printf() when not in the driver's *_attach() function (or functions only called from that); use log(9) where appropriate instead for printfs not using device_xname().
We already have device_printf() for this.