Searched refs:efi_run_image (Results 1 – 3 of 3) sorted by relevance
425 ret = efi_run_image(image_buf, size); in do_bootefi_image()440 efi_status_t efi_run_image(void *source_buffer, efi_uintn_t source_size) in efi_run_image() function
551 efi_ret = efi_run_image(image_buf, images->os.image_len); in do_bootm_efi()
403 efi_status_t efi_run_image(void *source_buffer, efi_uintn_t source_size);
Completed in 7 milliseconds