DEVICE_PRINTF(9)

💖 DEVICE_PRINTF 💖

okay bestie, so this one lives in the Kernel Developer's Manual (section 9, iykyk) and it's literally the cutest lil wrapper around printf(9) you've ever seen. it's giving "I just want to print something and also say WHO printed it" energy. no cap. 🎀

✨ 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 🦋

so device_printf() is a convenience interface to the printf(9) function. it's the bestie who does the annoying part for you. 🫶

here's the tea: it outputs the name of the dev device, then a colon and a space after it, and then everything that printf(9) would print if you just passed it fmt and the remaining arguments. so you get your device name pre-labeled like a lil name tag at a party, and then your actual message right after. iconic behavior honestly. 💅

🔥 RETURN VALUES 🔥

device_printf() returns the number of characters displayed. that's it, that's the whole thing. slay. ✨

👑 SEE ALSO 👑

• printf(3)
• printf(9)

lowkey the whole point is just "print stuff, but with the device name attached" and honestly? we respect the simplicity. 💜

and that's a wrap, bestie 🦋 — this page came from Debian, dated April 21, 2003, and the manual it belongs to is DEVICE_PRINTF(9). go forth and print things. periodt. 💖✨