int sock_close(struct inode *inode, struct file *filp) 
static int sock_close(struct inode *inode, struct file *filp) 
int sock_close(struct inode *inode, struct file *filp){	/*	 *	It was possible the inode is NULL we were 	 *	closing an unfinished socket. 	 */	if (!inode)	{		printk(KERN_DEBUG "sock_close: NULL inode\n");		return 0;	}	sock_fasync(-1, filp, 0);	sock_release(SOCKET_I(inode));	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20380731bc2897f2952ae055420972ded4cd786e/socket.c/clean/net/socket.c