const u32 elapsed_time = now_delta(dp->dccps_timestamp_time) / 10; 
const u32 elapsed_time = timeval_now_delta(&dp->dccps_timestamp_time) / 10; 
static void dccp_insert_option_timestamp_echo(struct sock *sk,					      struct sk_buff *skb){	struct dccp_sock *dp = dccp_sk(sk);#ifdef CONFIG_IP_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 = now_delta(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(KERN_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;		if (elapsed_time_len == 2) {		const u16 var16 = htons((u16)elapsed_time);		memcpy(to, &var16, 2);	} else if (elapsed_time_len == 4) {		const u32 var32 = htonl(elapsed_time);		memcpy(to, &var32, 4);	}	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.tv_sec = 0;	dp->dccps_timestamp_time.tv_usec = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b6ee3d4ada4e85d9b9b9164c1327ef0850c79d5e/options.c/buggy/net/dccp/options.c