atml_plat_remove(); 
static void __exit cleanup_atmel(void){	if (pdev) {		tpm_atml_remove(&pdev->dev);		platform_device_unregister(pdev);		kfree(pdev);		pdev = NULL;	}	driver_unregister(&atml_drv);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ad5ea3cc5f745aef243ade0dafc8cf6f7f0bfea7/tpm_atmel.c/buggy/drivers/char/tpm/tpm_atmel.c