struct sk_buff *skb_out; struct sadb_msg *hdr_out; 
struct km_event c; 
static int pfkey_flush(struct sock *sk, struct sk_buff *skb, struct sadb_msg *hdr, void **ext_hdrs){	unsigned proto;	struct sk_buff *skb_out;	struct sadb_msg *hdr_out;	proto = pfkey_satype2proto(hdr->sadb_msg_satype);	if (proto == 0)		return -EINVAL;	skb_out = alloc_skb(sizeof(struct sadb_msg) + 16, GFP_KERNEL);	if (!skb_out)		return -ENOBUFS;	xfrm_state_flush(proto);	hdr_out = (struct sadb_msg *) skb_put(skb_out, sizeof(struct sadb_msg));	pfkey_hdr_dup(hdr_out, hdr);	hdr_out->sadb_msg_errno = (uint8_t) 0;	hdr_out->sadb_msg_len = (sizeof(struct sadb_msg) / sizeof(uint64_t));	pfkey_broadcast(skb_out, GFP_KERNEL, BROADCAST_ALL, NULL);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26b15dad9f1c19d6d4f7b999b07eaa6d98e4b375/af_key.c/buggy/net/key/af_key.c