#ifdef INET_REFCNT_DEBUG atomic_dec(&inet_sock_nr); printk(KERN_DEBUG "INET socket %p released, %d are still alive\n", sk, atomic_read(&inet_sock_nr)); #endif 
sk_refcnt_debug_dec(sk); 
void inet_sock_destruct(struct sock *sk){	struct inet_sock *inet = inet_sk(sk);	__skb_queue_purge(&sk->sk_receive_queue);	__skb_queue_purge(&sk->sk_error_queue);	if (sk->sk_type == SOCK_STREAM && sk->sk_state != TCP_CLOSE) {		printk("Attempt to release TCP socket in state %d %p\n",		       sk->sk_state, sk);		return;	}	if (!sock_flag(sk, SOCK_DEAD)) {		printk("Attempt to release alive inet socket %p\n", sk);		return;	}	BUG_TRAP(!atomic_read(&sk->sk_rmem_alloc));	BUG_TRAP(!atomic_read(&sk->sk_wmem_alloc));	BUG_TRAP(!sk->sk_wmem_queued);	BUG_TRAP(!sk->sk_forward_alloc);	if (inet->opt)		kfree(inet->opt);	dst_release(sk->sk_dst_cache);#ifdef INET_REFCNT_DEBUG	atomic_dec(&inet_sock_nr);	printk(KERN_DEBUG "INET socket %p released, %d are still alive\n",	       sk, atomic_read(&inet_sock_nr));#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6848976b721eeb5551cd94673faafeef78d9f35/af_inet.c/clean/net/ipv4/af_inet.c