ndtrace_printf
ndtrace_printf("CE/BUSEXC: %08lX %08X %08X\n",
ndtrace_printf("supdate ");
ndtrace_printf("%08X %08X %08X %08X ",
ndtrace_printf("%08X %08X %08X %08X ",
ndtrace_printf("restart %08lX %08lX\n",
ndtrace_printf(" %08lX %08lX\n",
ndtrace_printf("m%ld",
ndtrace_printf("t%ld",
ndtrace_printf("f%dm%dl%dw",
ndtrace_printf(
NDTRACEIF(ndtrace_printf("f%dm%dl%ds%dx%dr%dS",
ndtrace_printf("%ld",
ndtrace_printf("%ld",
void ndtrace_printf(const char *fmt, ...) __printflike(1, 2);