Searched refs:efi_boot_kernel (Results 1 – 4 of 4) sorted by relevance
66 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function
255 status = efi_boot_kernel(handle, image, image_addr, cmdline_ptr); in efi_pe_entry()
344 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function
869 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,
