manページ  — DEVICE_PRINTF

#include <sys/param.h>

#include <sys/bus.h>

device_printf() 関数は printf(9) 関数への便利なインタフェースです。 コロンおよびスペースが後に続く dev デバイスの名前を出力します。 それから、 fmt およびそれへの残りの引数が渡された場合には printf(9) が印字するものを出力します。

printf(3), printf(9)