struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk); 
const struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk); 
static void ccid3_hc_tx_insert_options(struct sock *sk, struct sk_buff *skb){	struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);	if (hctx == NULL || !(sk->sk_state == DCCP_OPEN ||			      sk->sk_state == DCCP_PARTOPEN))		return;	 DCCP_SKB_CB(skb)->dccpd_ccval = hctx->ccid3hctx_last_win_count;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c