Symbol: TPM_DATA_AVAIL_INT