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.

       device_printf — formatted output conversion

       The device_printf() function returns the number of characters displayed.

printf(3), printf(9)

Debian                                           April 21, 2003                                 DEVICE_PRINTF(9)

#include<sys/param.h>#include<sys/bus.h>intdevice_printf(device_tdev, constchar*fmt, ...);