TPM_MAX_WTX_PACKAGES  220 drivers/char/tpm/tpm_infineon.c 		 number_of_wtx, TPM_MAX_WTX_PACKAGES);
TPM_MAX_WTX_PACKAGES  284 drivers/char/tpm/tpm_infineon.c 		if (number_of_wtx < TPM_MAX_WTX_PACKAGES) {