uvm_km_free_poolpage1 2037 kern/subr_pool.c 	uvm_km_free_poolpage1(kernel_map, (vaddr_t)v);
uvm_km_free_poolpage1  504 uvm/uvm_extern.h void			uvm_km_free_poolpage1(vm_map_t, vaddr_t);
uvm_km_free_poolpage1  771 uvm/uvm_km.c   	uvm_km_free_poolpage1(NULL, (vaddr_t)v);