 file->private_data = NULL; 
int tpm_release(struct inode *inode, struct file *file){	struct tpm_chip *chip = file->private_data;		file->private_data = NULL;	spin_lock(&driver_lock);	chip->num_opens--;	del_singleshot_timer_sync(&chip->user_read_timer);	atomic_set(&chip->data_pending, 0);	pci_dev_put(chip->pci_dev);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5e976d5557d3dd1e835b8be52e6201556dcfa052/tpm.c/clean/drivers/char/tpm/tpm.c