uvm_km_alloc_poolpage1 2028 kern/subr_pool.c 	return ((void *)uvm_km_alloc_poolpage1(kernel_map, uvm.kernel_object,
uvm_km_alloc_poolpage1  502 uvm/uvm_extern.h vaddr_t			uvm_km_alloc_poolpage1(vm_map_t,
uvm_km_alloc_poolpage1  764 uvm/uvm_km.c   	return ((void *)uvm_km_alloc_poolpage1(NULL, NULL, waitok));