Searched refs:efi_boot_kernel (Results 1 – 4 of 4) sorted by relevance
47 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function
173 status = efi_boot_kernel(handle, image, image_addr, cmdline_ptr); in efi_stub_common()
344 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function
1027 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,