DOKK / manpages / debian 10 / freebsd-manpages / device_printf.9freebsd.en
DEVICE_PRINTF(9) Kernel Developer's Manual DEVICE_PRINTF(9)

device_printfformatted output conversion

#include <sys/param.h>
#include <sys/bus.h>

int
device_printf(device_t dev, const char *fmt, ...);

The () 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.

printf(3), printf(9)

April 21, 2003 Debian