Symbol: ktrace_vprintf
headers/os/kernel/OS.h
432
extern void ktrace_vprintf(const char *format, va_list args);
src/system/libroot/os/debug.c
306
ktrace_vprintf(format, list);