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