struct sk_buff *skb = sk->sk_send_head;  if (skb != NULL) __tcp_data_snd_check(sk, skb); 
tcp_push_pending_frames(sk, tp); 
static __inline__ void tcp_data_snd_check(struct sock *sk){	struct sk_buff *skb = sk->sk_send_head;	if (skb != NULL)		__tcp_data_snd_check(sk, skb);	tcp_check_space(sk);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/55c97f3e990c1ff63957c64f6cb10711a09fd70e/tcp_input.c/clean/net/ipv4/tcp_input.c