c.data = p->proto; c.event = XFRM_SAP_FLUSHED; c.seq = nlh->nlmsg_seq; c.pid = nlh->nlmsg_pid; km_state_notify(NULL, &c);  
static int xfrm_flush_sa(struct sk_buff *skb, struct nlmsghdr *nlh, void **xfrma){	struct xfrm_usersa_flush *p = NLMSG_DATA(nlh);	xfrm_state_flush(p->proto);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26b15dad9f1c19d6d4f7b999b07eaa6d98e4b375/xfrm_user.c/buggy/net/xfrm/xfrm_user.c