/* @device_path 1st device path @device_path_instance 2nd device path  */
static struct efi_device_path* EFIAPI append_device_path_instance(const struct efi_device_path *device_path, const struct efi_device_path *device_path_instance)
/* @device_path 1st device path @device_path_instance 2nd device path  */
static struct efi_device_path* EFIAPI append_device_path_instance(const struct efi_device_path *device_path, const struct efi_device_path *device_path_instance)
{
	EFI_ENTRY("%pD, %pD", device_path, device_path_instance);
	return EFI_EXIT(efi_dp_append_instance(device_path,
					       device_path_instance));
}