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