tp->bytes_acked = 0; 
static inline void tcp_enter_cwr(struct sock *sk){	struct tcp_sock *tp = tcp_sk(sk);	tp->prior_ssthresh = 0;	if (inet_csk(sk)->icsk_ca_state < TCP_CA_CWR) {		__tcp_enter_cwr(sk);		tcp_set_ca_state(sk, TCP_CA_CWR);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9772efb970780aeed488c19d8b4afd46c3b484af/tcp.h/buggy/include/net/tcp.h