number_of_wtx     142 drivers/char/tpm/tpm_infineon.c static int number_of_wtx;
number_of_wtx     218 drivers/char/tpm/tpm_infineon.c 	number_of_wtx++;
number_of_wtx     220 drivers/char/tpm/tpm_infineon.c 		 number_of_wtx, TPM_MAX_WTX_PACKAGES);
number_of_wtx     235 drivers/char/tpm/tpm_infineon.c 	number_of_wtx = 0;
number_of_wtx     244 drivers/char/tpm/tpm_infineon.c 	number_of_wtx = 0;
number_of_wtx     284 drivers/char/tpm/tpm_infineon.c 		if (number_of_wtx < TPM_MAX_WTX_PACKAGES) {