atmel_release_region(chip->vendor->base, chip->vendor->region_size); 
atmel_release_region(chip->vendor->base, chip->vendor->region_size); 
static void atml_plat_remove(void){	struct tpm_chip *chip = dev_get_drvdata(&pdev->dev);	if (chip) {		if (chip->vendor->have_region)			atmel_release_region(chip->vendor->base, chip->vendor->region_size);		atmel_put_base_addr(chip->vendor);		tpm_remove_hardware(chip->dev);		platform_device_unregister(pdev);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/90612b308f2a2cc8aa08fbaf6f7184f5b7b5a855/tpm_atmel.c/clean/drivers/char/tpm/tpm_atmel.c