Searched refs:efi_enter_kernel (Results 1 – 4 of 4) sorted by relevance
84 void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt, in efi_enter_kernel() function
131 void __noreturn efi_enter_kernel(unsigned long entrypoint, in efi_enter_kernel() function
360 efi_enter_kernel(kernel_addr, fdt_addr, fdt_totalsize((void *)fdt_addr)); in efi_boot_kernel()
1452 ENTRY(efi_enter_kernel)