debug_malloc_pages  101 kern/kern_malloc_debug.c int debug_malloc_pages;
debug_malloc_pages  216 kern/kern_malloc_debug.c 	debug_malloc_pages = 0;
debug_malloc_pages  272 kern/kern_malloc_debug.c 	debug_malloc_pages++;
debug_malloc_pages  332 kern/kern_malloc_debug.c 	(*pr)("pages used: %d\n", debug_malloc_pages);