efi_init          916 arch/x86/kernel/setup.c 		efi_init();
efi_init          287 include/linux/efi.h extern void efi_init (void);