sys/kern/subr_bus.c
/**
 * @brief Print the name of the device followed by a colon, a space
 * and the result of calling vprintf() with the value of @p fmt and
 * the following arguments.
 *
 * @returns the number of characters printed
 */
@brief Print the name of the device followed by a colon, a space
and the result of calling vprintf() with the value of @p fmt and
the following arguments.

@returns the number of characters printed
@brief Print the name of the device followed by a colon a space and the result of calling vprintf () with the value of @p fmt and the following arguments . @returns the number of characters printed
int
device_printf(device_t dev, const char * fmt, ...)
{
	va_list ap;
	int retval;
	retval = device_print_prettyname(dev);
	va_start(ap, fmt);
	retval += vprintf(fmt, ap);
	va_end(ap);
	return (retval);
}
int device_printf ( device_t dev , const char * fmt , ... ) { va_list ap ; int retval ; retval = device_print_prettyname ( dev ) ; va_start ( ap , fmt ) ; retval += vprintf ( fmt , ap ) ; va_end ( ap ) ; return ( retval ) ; }
@brief Print the name of the device followed by a colon, a space
 and the result of calling vprintf() with the value of @p fmt and
 the following arguments.
@brief Print the name of the device followed by a colon a space and the result of calling vprintf () with the value of @p fmt and the following arguments .