alloc_kpages       55 kern/include/vm.h vaddr_t alloc_kpages(int npages);
alloc_kpages      463 kern/vm/kmalloc.c 	prpage = alloc_kpages(1);
alloc_kpages      610 kern/vm/kmalloc.c 		address = alloc_kpages(npages);