Symbol: pmap_puninit
sys/platform/pc64/x86_64/pmap.c
2357
pmap_puninit(pmap);
sys/vm/pmap.h
201
void pmap_puninit (pmap_t);
sys/vm/vm_map.c
266
pmap_puninit(vmspace_pmap(vm));