device_printf
#define device_printf(dev, a...) dprintf("firewire:" a)
int device_printf(device_t dev, const char *, ...) __printflike(2, 3);
device_printf(device_t dev, const char *format, ...)