console_send      113 kern/lib/kprintf.c 	chars = __vprintf(console_send, NULL, fmt, ap);
console_send      176 kern/lib/kprintf.c 		__vprintf(console_send, NULL, fmt, ap);