pmap_destroy     3293 uvm/uvm_map.c  		pmap_destroy(vm->vm_map.pmap);
pmap_destroy      208 uvm/uvm_map_i.h 	pmap_destroy(map->pmap);
pmap_destroy      126 uvm/uvm_pmap.h void		 pmap_destroy(pmap_t);