Symbol: efi_enter_kernel
drivers/firmware/efi/libstub/efistub.h
1162
asmlinkage void __noreturn efi_enter_kernel(unsigned long entrypoint,
drivers/firmware/efi/libstub/fdt.c
360
efi_enter_kernel(kernel_addr, fdt_addr, fdt_totalsize((void *)fdt_addr));