Searched defs:efi_boot_kernel (Results 1 – 2 of 2) sorted by relevance
47 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function
344 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel() function