DEVICE_PRINTF(9)

🎀 NAME 🎀

device_printf — formatted output conversion. This is the DEVICE_PRINTF(9) manual page, bestie, from the Kernel Developer's Manual. Iykyk. 💅

🛠️ SYNOPSIS 🛠️

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

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

💅 DESCRIPTION 💅

Okay so device_printf() is literally a convenience interface to printf(9). No cap. 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. It’s giving “printf, but the device name already walked in with main character energy.” Periodt. ✨

🌈 RETURN VALUES 🌈

device_printf() returns the number of characters displayed. That’s the whole vibe check, fr fr. 💖

👀 SEE ALSO 👀

• printf(3)
• printf(9)

🫶 Cute sign-off: this is DEVICE_PRINTF(9) from Debian, dated April 21, 2003. Slay. 💅