uvm_pageboot_alloc  296 uvm/uvm_page.c 	pagearray = (vm_page_t)uvm_pageboot_alloc(pagecount *
uvm_pageboot_alloc  282 uvm/uvm_page.h vaddr_t uvm_pageboot_alloc(vsize_t);