!(1 << (chip->dev_num % TPM_NUM_MASK_ENTRIES)); 
~(1 << (chip->dev_num % TPM_NUM_MASK_ENTRIES)); 
void tpm_remove_hardware(struct device *dev){	struct tpm_chip *chip = dev_get_drvdata(dev);	if (chip == NULL) {		dev_err(dev, "No device data found\n");		return;	}	spin_lock(&driver_lock);	list_del(&chip->list);	spin_unlock(&driver_lock);	dev_set_drvdata(dev, NULL);	misc_deregister(&chip->vendor->miscdev);	kfree(chip->vendor->miscdev.name);	sysfs_remove_group(&dev->kobj, chip->vendor->attr_group);	dev_mask[chip->dev_num / TPM_NUM_MASK_ENTRIES ] &=		!(1 << (chip->dev_num % TPM_NUM_MASK_ENTRIES));	kfree(chip);	put_device(dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f6a2382cec3ed9b67b01febfa85d7d72b254844a/tpm.c/buggy/drivers/char/tpm/tpm.c