device_printf
—
formatted output conversion
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.
The device_printf
() function returns the
number of characters displayed.