TPM_PPI_REVISION_ID_2 64 drivers/char/tpm/tpm_ppi.c u64 rev = TPM_PPI_REVISION_ID_2; TPM_PPI_REVISION_ID_2 143 drivers/char/tpm/tpm_ppi.c rev = TPM_PPI_REVISION_ID_2;