efi_esrt_init    1128 arch/x86/kernel/setup.c 		efi_esrt_init();
efi_esrt_init     257 drivers/firmware/efi/arm-init.c 	efi_esrt_init();
efi_esrt_init    1071 include/linux/efi.h extern void __init efi_esrt_init(void);