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