extern int tcp_v4_destroy_sock(struct sock *sk);  
static int tcp_v6_destroy_sock(struct sock *sk){	extern int tcp_v4_destroy_sock(struct sock *sk);	tcp_v4_destroy_sock(sk);	return inet6_destroy_sock(sk);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20380731bc2897f2952ae055420972ded4cd786e/tcp_ipv6.c/clean/net/ipv6/tcp_ipv6.c