Searched defs:efi_enter_kernel (Results 1 – 3 of 3) sorted by relevance
84 void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt, in efi_enter_kernel() function
132 void __noreturn efi_enter_kernel(unsigned long entrypoint, in efi_enter_kernel() function
62 void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt, in efi_enter_kernel() function