Re: [PATCH 01/11] xen/arm: Add new device type for PCI

[Julien Grall <julien@xxxxxxx>]

Hi Oleksandr,

On 03/09/2021 09:33, Oleksandr Andrushchenko wrote:
> From: Oleksandr Andrushchenko <oleksandr_andrushchenko@xxxxxxxx>
>
> Add new device type (DEV_PCI) to distinguish PCI devices from platform
> DT devices, so some drivers, like IOMMU, can handle PCI devices
> differently.
I think it would be better to fold this change in the next patch as this 
is where you add all the helpers for converting dev to PCI.
> While at it fix dev_is_dt macro.
I would keep this change separate. It also needs an explanation of 
what's the problem and mention it is a latent bug because no-one use it 
(so we know this doesn't require a backport).
Cheers,

--
Julien Grall