if (tcp_snd_test(tp, skb, cur_mss, TCP_NAGLE_PUSH)) { 
if (tcp_snd_test(sk, skb, cur_mss, TCP_NAGLE_PUSH)) { 
void tcp_push_one(struct sock *sk, unsigned cur_mss){	struct tcp_sock *tp = tcp_sk(sk);	struct sk_buff *skb = sk->sk_send_head;	if (tcp_snd_test(tp, skb, cur_mss, TCP_NAGLE_PUSH)) {		/* Send it out now. */		TCP_SKB_CB(skb)->when = tcp_time_stamp;		tcp_tso_set_push(skb);		if (!tcp_transmit_skb(sk, skb_clone(skb, sk->sk_allocation))) {			sk->sk_send_head = NULL;			tp->snd_nxt = TCP_SKB_CB(skb)->end_seq;			tcp_packets_out_inc(sk, tp, skb);			return;		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d5ac99a648b8c61d0c7f1c32a8ab7f1dca0123d2/tcp_output.c/buggy/net/ipv4/tcp_output.c