Searched refs:real_kernel_entry (Results 1 – 1 of 1) sorted by relevance
50 kernel_entry_t real_kernel_entry; in efi_boot_kernel() local78 real_kernel_entry = (void *)kernel_entry_address(kernel_addr, image); in efi_boot_kernel()80 real_kernel_entry(true, (unsigned long)cmdline_ptr, in efi_boot_kernel()