ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk);  if (hcrx == NULL) return; 
BUG_ON(hcrx == NULL); 
static void ccid3_hc_rx_exit(struct sock *sk){	struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);	struct dccp_sock *dp = dccp_sk(sk);	ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk);	if (hcrx == NULL)		return;	ccid3_hc_rx_set_state(sk, TFRC_RSTATE_TERM);	/* Empty packet history */	dccp_rx_hist_purge(ccid3_rx_hist, &hcrx->ccid3hcrx_hist);	/* Empty loss interval history */	dccp_li_hist_purge(ccid3_li_hist, &hcrx->ccid3hcrx_li_hist);	kfree(dp->dccps_hc_rx_ccid_private);	dp->dccps_hc_rx_ccid_private = NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c