Symbol: pmap_pmap_pool_dtor
sys/arch/sparc/sparc/pmap.c
4157
IPL_NONE, pmap_pmap_pool_ctor, pmap_pmap_pool_dtor, NULL);
sys/arch/sparc/sparc/pmap.c
454
static void pmap_pmap_pool_dtor(void *, void *);