Function device_print_prettyname

freebsd/kern/subr_bus.c:2390–2398

* @brief Print the name of the device followed by a colon and a space * * @returns the number of characters printed */

 * @returns the number of characters printed
 */
int
device_print_prettyname(device_t dev)
{
	const char *name = device_get_name(dev);

	if (name == NULL)
		return (printf("unknown: "));
	return (printf("%s%d: ", name, device_get_unit(dev)));
}

/**
 * @brief Print the name of the device followed by a colon, a space