debug_malloc_allocs   99 kern/kern_malloc_debug.c int debug_malloc_allocs;
debug_malloc_allocs  139 kern/kern_malloc_debug.c 	debug_malloc_allocs++;
debug_malloc_allocs  214 kern/kern_malloc_debug.c 	debug_malloc_allocs = 0;
debug_malloc_allocs  330 kern/kern_malloc_debug.c 	(*pr)("allocs: %d\n", debug_malloc_allocs);