Symbol: tpm_tis_flush