tpm_read_log_efi   89 drivers/char/tpm/eventlog/common.c 	rc = tpm_read_log_efi(chip);
tpm_read_log_efi   27 drivers/char/tpm/eventlog/common.h int tpm_read_log_efi(struct tpm_chip *chip);