ippr_ipsec_fini
ippr_ipsec_init, ippr_ipsec_fini, ippr_ipsec_new, ippr_ipsec_del,
void ippr_ipsec_fini __P((void **, ipf_stack_t *));