debug_malloc_frees  100 kern/kern_malloc_debug.c int debug_malloc_frees;
debug_malloc_frees  192 kern/kern_malloc_debug.c 	debug_malloc_frees++;
debug_malloc_frees  215 kern/kern_malloc_debug.c 	debug_malloc_frees = 0;
debug_malloc_frees  331 kern/kern_malloc_debug.c 	(*pr)("frees: %d\n", debug_malloc_frees);