CONFIG_HW_RANDOM_TPM  544 drivers/char/tpm/tpm-chip.c 	if (!IS_ENABLED(CONFIG_HW_RANDOM_TPM))
CONFIG_HW_RANDOM_TPM  620 drivers/char/tpm/tpm-chip.c 	if (IS_ENABLED(CONFIG_HW_RANDOM_TPM))
CONFIG_HW_RANDOM_TPM  645 drivers/char/tpm/tpm-chip.c 	if (IS_ENABLED(CONFIG_HW_RANDOM_TPM))