Symbol: efi_enter_kernel
arch/arm/boot/compressed/head.S
1452
ENTRY(efi_enter_kernel)
drivers/firmware/efi/libstub/arm64.c
131
void __noreturn efi_enter_kernel(unsigned long entrypoint,
drivers/firmware/efi/libstub/riscv.c
84
void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt,