u64 tmp_gss; 
static inline void dccp_update_gss(struct sock *sk, u64 seq){	struct dccp_sock *dp = dccp_sk(sk);	u64 tmp_gss;	dccp_set_seqno(&tmp_gss,		       (dp->dccps_gss -			dp->dccps_options.dccpo_sequence_window + 1));	dp->dccps_awl = max48(tmp_gss, dp->dccps_iss);	dp->dccps_awh = dp->dccps_gss = seq;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/03ace394ac9bcad38043a381ae5f4860b9c9fa1c/dccp.h/clean/net/dccp/dccp.h