Searched refs:efi_enter_kernel (Results 1 – 5 of 5) 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()
1130 asmlinkage void __noreturn efi_enter_kernel(unsigned long entrypoint,
1452 ENTRY(efi_enter_kernel)