debug_malloc_printit  313 ddb/db_command.c 	extern void debug_malloc_printit(int (*)(const char *, ...), vaddr_t);
debug_malloc_printit  318 ddb/db_command.c 	debug_malloc_printit(db_printf, (vaddr_t)addr);
debug_malloc_printit  281 kern/kern_malloc_debug.c 	debug_malloc_printit(printf, NULL);
debug_malloc_printit  456 sys/malloc.h   void	debug_malloc_printit(int (*)(const char *, ...), vaddr_t);