ipf_pool_soft_destroy
ipf_pool_soft_destroy,
static void ipf_pool_soft_destroy(ipf_main_softc_t *, void *);