Symbol: arm_efi_init
arch/arm/include/asm/efi.h
21
void arm_efi_init(void);
arch/arm/kernel/setup.c
1145
arm_efi_init();