/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_copy_mem(void *destination, const void *source, size_t length)
/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_copy_mem(void *destination, const void *source, size_t length)
{
	EFI_ENTRY("%p, %p, %ld", destination, source, (unsigned long)length);
	memmove(destination, source, length);
	EFI_EXIT(EFI_SUCCESS);
}