kernel/drivers/char/tpm/tpm_ftpm_tee.c
.. .. @@ -397,7 +397,13 @@ 397 397 if (rc) 398 398 return rc; 399 399 400 - return driver_register(&ftpm_tee_driver.driver);400 + rc = driver_register(&ftpm_tee_driver.driver);401 + if (rc) {402 + platform_driver_unregister(&ftpm_tee_plat_driver);403 + return rc;404 + }405 +406 + return 0;401 407 } 402 408 403 409 static void __exit ftpm_mod_exit(void)