Symbol: ipsec_destroy_ctx_tmpl