Searched defs:efi_enter_kernel (Results 1 – 2 of 2) 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