LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert elapsed time!\n")); 
LIMIT_NETDEBUG(KERN_INFO "DCCP: packet too small to insert elapsed time!\n"); 
void dccp_insert_option_elapsed_time(struct sock *sk,				     struct sk_buff *skb,				     u32 elapsed_time){#ifdef DCCP_DEBUG	struct dccp_sock *dp = dccp_sk(sk);	const char *debug_prefix = dp->dccps_role == DCCP_ROLE_CLIENT ? "CLIENT TX opt: " :									"server TX opt: ";#endif	const int elapsed_time_len = dccp_elapsed_time_len(elapsed_time);	const int len = 2 + elapsed_time_len;	unsigned char *to;	/* If elapsed_time == 0... */	if (elapsed_time_len == 2)		return;	if (DCCP_SKB_CB(skb)->dccpd_opt_len + len > DCCP_MAX_OPT_LEN) {		LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert elapsed time!\n"));		return;	}	DCCP_SKB_CB(skb)->dccpd_opt_len += len;	to    = skb_push(skb, len);	*to++ = DCCPO_ELAPSED_TIME;	*to++ = len;	dccp_encode_value_var(elapsed_time, to, elapsed_time_len);	dccp_pr_debug("%sELAPSED_TIME=%u, len=%d, seqno=%llu\n",		      debug_prefix, elapsed_time,		      len,		      (unsigned long long) DCCP_SKB_CB(skb)->dccpd_seq);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64ce207306debd7157f47282be94770407bec01c/options.c/buggy/net/dccp/options.c