debug_malloc_allocate_free   86 kern/kern_malloc_debug.c void debug_malloc_allocate_free(int);
debug_malloc_allocate_free  128 kern/kern_malloc_debug.c 		debug_malloc_allocate_free(wait);