Provided by: freebsd-manpages_8.0-1_all bug

NAME

     device_printf - formatted output conversion

SYNOPSIS

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

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

DESCRIPTION

     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.

SEE ALSO

     printf(3), printf(9)