Searched refs:efi_enter_kernel (Results 1 – 3 of 3) sorted by relevance
86 void __noreturn efi_enter_kernel(unsigned long entrypoint, unsigned long fdt, in efi_enter_kernel() function
360 efi_enter_kernel(kernel_addr, fdt_addr, fdt_totalsize((void *)fdt_addr)); in efi_boot_kernel()
963 asmlinkage void __noreturn efi_enter_kernel(unsigned long entrypoint,