tpm_add_ppi       601 drivers/char/tpm/tpm-chip.c 	tpm_add_ppi(chip);
tpm_add_ppi       425 drivers/char/tpm/tpm.h extern void tpm_add_ppi(struct tpm_chip *chip);