__vprintf         121 common/libc/printf/snprintf.c 	chars = __vprintf(__snprintf_send, &snp, fmt, ap);
__vprintf         113 kern/lib/kprintf.c 	chars = __vprintf(console_send, NULL, fmt, ap);
__vprintf         176 kern/lib/kprintf.c 		__vprintf(console_send, NULL, fmt, ap);
__vprintf          48 user/include/stdio.h int __vprintf(void (*sendfunc)(void *clientdata, const char *, size_t len),
__vprintf          69 user/lib/libc/stdio/printf.c 	return __vprintf(__printf_send, NULL, fmt, ap);
__vprintf         106 user/lib/libc/unix/err.c 	__vprintf(__senderr, NULL, fmt, ap);