Symbol: pmap_puninit
sys/platform/pc64/x86_64/pmap.c
2459
pmap_puninit(pmap_t pmap)
sys/platform/vkernel64/platform/pmap.c
1219
pmap_puninit(pmap_t pmap)