efi_tpm_eventlog_init  568 drivers/firmware/efi/efi.c 	efi_tpm_eventlog_init();
efi_tpm_eventlog_init 1724 include/linux/efi.h extern int efi_tpm_eventlog_init(void);