Searched refs:enter_kernel (Results 1 – 2 of 2) sorted by relevance
135 void (* __noreturn enter_kernel)(u64, u64, u64, u64); in efi_enter_kernel() 137 enter_kernel = (void *)entrypoint + primary_entry_offset(); in efi_enter_kernel() 138 enter_kernel(fdt_addr, 0, 0, 0); in efi_enter_kernel()
794 static void __noreturn enter_kernel(unsigned long kernel_addr, in enter_kernel() function 936 enter_kernel(kernel_entry, boot_params); in efi_stub_entry()