Symbol: wc_dprintf
usr/src/uts/common/io/wscons.c
283
static void wc_dprintf(const char *fmt, ...) __KPRINTFLIKE(1);
usr/src/uts/common/io/wscons.c
286
wc_dprintf args : \