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);