free_kpages        56 kern/include/vm.h void free_kpages(vaddr_t addr);
free_kpages       475 kern/vm/kmalloc.c 		free_kpages(prpage);
free_kpages       583 kern/vm/kmalloc.c 		free_kpages(prpage);
free_kpages       631 kern/vm/kmalloc.c 		free_kpages((vaddr_t)ptr);