uvm_page_init      98 uvm/uvm_init.c 	uvm_page_init(&kvm_start, &kvm_end);
uvm_page_init     268 uvm/uvm_page.h void uvm_page_init(vaddr_t *, vaddr_t *);