if (dp->dccps_service_list != NULL) { kfree(dp->dccps_service_list); dp->dccps_service_list = NULL; } 
kfree(dp->dccps_service_list); dp->dccps_service_list = NULL; 
static 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);	if (dp->dccps_service_list != NULL) {		kfree(dp->dccps_service_list);		dp->dccps_service_list = NULL;	}	ccid_hc_rx_exit(dp->dccps_hc_rx_ccid, sk);	ccid_hc_tx_exit(dp->dccps_hc_tx_ccid, sk);	if (dp->dccps_options.dccpo_send_ack_vector) {		dccp_ackvec_free(dp->dccps_hc_rx_ackvec);		dp->dccps_hc_rx_ackvec = 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;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a51482bde22f99c63fbbb57d5d46cc666384e379/ipv4.c/buggy/net/dccp/ipv4.c