static int debug_close(struct inode *inode, struct file *file) 
debug_close(struct inode *inode, struct file *file) 
static int debug_close(struct inode *inode, struct file *file){	file_private_info_t *p_info;#ifdef DEBUG	printk("debug_close\n");#endif	p_info = (file_private_info_t *) file->private_data;	debug_info_free(p_info->debug_info_snap);	debug_info_put(p_info->debug_info_org);	kfree(file->private_data);	return 0;		/* success */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c