device_printf9
Formatted output conversion
Usage
#include <sys/param.h>
#include <sys/bus.h>
int
device_printf(device_t dev, const char *fmt, ...);
Overview
The device_printf() function is a convenience interface to the printf(9) function. It outputs the name of the dev device, followed by a colon and a space, and then what printf(9) would print if you passed fmt and the remaining arguments to it.
Return values
The device_printf() function returns the number of characters displayed.