TPM_WTX_MSLEEP_TIME  225 drivers/char/tpm/tpm_infineon.c 	tpm_msleep(TPM_WTX_MSLEEP_TIME);
TPM_WTX_MSLEEP_TIME  236 drivers/char/tpm/tpm_infineon.c 	tpm_msleep(TPM_WTX_MSLEEP_TIME);