dccp_set_seqno(&tmp_gsr, 
dp->dccps_gsr = seq; dccp_set_seqno(&dp->dccps_swl, 
static inline void dccp_update_gsr(struct sock *sk, u64 seq){	struct dccp_sock *dp = dccp_sk(sk);	u64 tmp_gsr;	dccp_set_seqno(&tmp_gsr,		       (dp->dccps_gsr + 1 -		        (dp->dccps_options.dccpo_sequence_window / 4)));	dp->dccps_gsr = seq;	dccp_set_seqno(&dp->dccps_swl, max48(tmp_gsr, dp->dccps_isr));	dccp_set_seqno(&dp->dccps_swh,		       (dp->dccps_gsr +			(3 * dp->dccps_options.dccpo_sequence_window) / 4));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/03ace394ac9bcad38043a381ae5f4860b9c9fa1c/dccp.h/clean/net/dccp/dccp.h