TPM_INTF_DATA_AVAIL_INT   55 drivers/char/tpm/st33zp24/st33zp24.c 	TPM_INTF_DATA_AVAIL_INT = 0x001,
TPM_INTF_DATA_AVAIL_INT   49 drivers/char/tpm/tpm_tis_core.h 	TPM_INTF_DATA_AVAIL_INT = 0x001,