in src/tpm_codec.c [287:293]
void Deinit_TPM_Codec(TSS_DEVICE* tpm) { if (tpm != NULL) { tpm_comm_destroy(tpm->tpm_comm_handle); } }