efi_init           20 arch/arm/include/asm/efi.h void efi_init(void);
efi_init         1120 arch/arm/kernel/setup.c 	efi_init();
efi_init           16 arch/arm64/include/asm/efi.h extern void efi_init(void);
efi_init          314 arch/arm64/kernel/setup.c 	efi_init();
efi_init          560 arch/ia64/kernel/setup.c 	efi_init();
efi_init         1028 arch/x86/kernel/setup.c 		efi_init();
efi_init         1037 include/linux/efi.h extern void efi_init (void);