LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert timestamp echo!\n")); 
LIMIT_NETDEBUG(KERN_INFO "DCCP: packet too small to insert timestamp echo!\n"); 
static void dccp_insert_option_timestamp_echo(struct sock *sk, struct sk_buff *skb){	struct dccp_sock *dp = dccp_sk(sk);#ifdef DCCP_DEBUG	const char *debug_prefix = dp->dccps_role == DCCP_ROLE_CLIENT ? "CLIENT TX opt: " :									"server TX opt: ";#endif	u32 tstamp_echo;	const u32 elapsed_time = jiffies_to_usecs(jiffies - dp->dccps_timestamp_time) / 10;	const int elapsed_time_len = dccp_elapsed_time_len(elapsed_time);	const int len = 6 + elapsed_time_len;	unsigned char *to;	if (DCCP_SKB_CB(skb)->dccpd_opt_len + len > DCCP_MAX_OPT_LEN) {		LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert timestamp echo!\n"));		return;	}	DCCP_SKB_CB(skb)->dccpd_opt_len += len;	to    = skb_push(skb, len);	*to++ = DCCPO_TIMESTAMP_ECHO;	*to++ = len;	tstamp_echo = htonl(dp->dccps_timestamp_echo);	memcpy(to, &tstamp_echo, 4);	to += 4;	dccp_encode_value_var(elapsed_time, to, elapsed_time_len);	dccp_pr_debug("%sTIMESTAMP_ECHO=%u, len=%d, seqno=%llu\n",		      debug_prefix, dp->dccps_timestamp_echo,		      len,		      (unsigned long long) DCCP_SKB_CB(skb)->dccpd_seq);	dp->dccps_timestamp_echo = 0;	dp->dccps_timestamp_time = 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64ce207306debd7157f47282be94770407bec01c/options.c/clean/net/dccp/options.c