if (pnp_registered) pnp_unregister_driver(&tpm_inf_pnp); 
static void __exit cleanup_inf(void){	pci_unregister_driver(&inf_pci_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e8a650150b1001bc34d506e4c44538463d368890/tpm_infineon.c/clean/drivers/char/tpm/tpm_infineon.c