Symbol: TPM_INTF_DATA_AVAIL_INT