int dccp_v4_destroy_sock(struct sock *sk) 
static int dccp_v4_destroy_sock(struct sock *sk) 
int dccp_v4_destroy_sock(struct sock *sk){	struct dccp_sock *dp = dccp_sk(sk);	/*	 * DCCP doesn't use sk_qrite_queue, just sk_send_head	 * for retransmissions	 */	if (sk->sk_send_head != NULL) {		kfree_skb(sk->sk_send_head);		sk->sk_send_head = NULL;	}	/* Clean up a referenced DCCP bind bucket. */	if (inet_csk(sk)->icsk_bind_hash != NULL)		inet_put_port(&dccp_hashinfo, sk);	dccp_ackpkts_free(dp->dccps_hc_rx_ackpkts);	dp->dccps_hc_rx_ackpkts = NULL;	ccid_exit(dp->dccps_hc_rx_ccid, sk);	ccid_exit(dp->dccps_hc_tx_ccid, sk);	dp->dccps_hc_rx_ccid = dp->dccps_hc_tx_ccid = NULL;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a1d3a35518779df0579dd9de0121354b49c68ddc/ipv4.c/buggy/net/dccp/ipv4.c