/* @src1 1st device path @src2 2nd device path  */
static struct efi_device_path* EFIAPI append_device_path(const struct efi_device_path *src1, const struct efi_device_path *src2)
/* @src1 1st device path @src2 2nd device path  */
static struct efi_device_path* EFIAPI append_device_path(const struct efi_device_path *src1, const struct efi_device_path *src2)
{
	EFI_ENTRY("%pD, %pD", src1, src2);
	return EFI_EXIT(efi_dp_append(src1, src2));
}