if (hctx == NULL) return; 
BUG_ON(hctx == NULL); 
static void ccid3_hc_tx_get_info(struct sock *sk, struct tcp_info *info){	const struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);	if (hctx == NULL)		return;	info->tcpi_rto = hctx->ccid3hctx_t_rto;	info->tcpi_rtt = hctx->ccid3hctx_rtt;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c