xfrm_state_delete(x); 
err = xfrm_state_delete(x); if (err < 0) { xfrm_state_put(x); return err; }  c.seq = nlh->nlmsg_seq; c.pid = nlh->nlmsg_pid; c.event = XFRM_SAP_DELETED; km_state_notify(x, &c); 
static int xfrm_del_sa(struct sk_buff *skb, struct nlmsghdr *nlh, void **xfrma){	struct xfrm_state *x;	struct xfrm_usersa_id *p = NLMSG_DATA(nlh);	x = xfrm_state_lookup(&p->daddr, p->spi, p->proto, p->family);	if (x == NULL)		return -ESRCH;	if (xfrm_state_kern(x)) {		xfrm_state_put(x);		return -EPERM;	}	xfrm_state_delete(x);	xfrm_state_put(x);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26b15dad9f1c19d6d4f7b999b07eaa6d98e4b375/xfrm_user.c/buggy/net/xfrm/xfrm_user.c