ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk); 
static void ccid3_hc_tx_exit(struct sock *sk){	struct dccp_sock *dp = dccp_sk(sk);	struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);	ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk);	BUG_ON(hctx == NULL);	ccid3_hc_tx_set_state(sk, TFRC_SSTATE_TERM);	sk_stop_timer(sk, &hctx->ccid3hctx_no_feedback_timer);	/* Empty packet history */	dccp_tx_hist_purge(ccid3_tx_hist, &hctx->ccid3hctx_hist);	kfree(dp->dccps_hc_tx_ccid_private);	dp->dccps_hc_tx_ccid_private = NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c