Searched refs:dest_buffer (Results 1 – 2 of 2) sorted by relevance
61 if (dest_buffer != NULL)62 free(dest_buffer); // free buffer
1723 void *dest_buffer; in efi_load_image() local1730 dest_buffer = (void *)(uintptr_t)addr; in efi_load_image()1731 memcpy(dest_buffer, source_buffer, source_size); in efi_load_image()1732 source_buffer = dest_buffer; in efi_load_image()