> -Original Message-
> From: Jan Beulich
> Sent: 06 August 2020 13:54
> To: Paul Durrant
> Cc: xen-devel@lists.xenproject.org; Paul Durrant ; Kevin
> Tian
>
> Subject: Re: [PATCH v4 14/14] vtd: use a bit field for dma_pte
>
> On 04.08.2020 15:42, Pau
On 04.08.2020 15:42, Paul Durrant wrote:
> --- a/xen/drivers/passthrough/vtd/iommu.c
> +++ b/xen/drivers/passthrough/vtd/iommu.c
> @@ -1772,13 +1772,14 @@ static int __must_check intel_iommu_map_page(struct
> domain *d, dfn_t dfn,
> old = *pte;
>
> dma_set_pte_addr(new, mfn_to_maddr(mf
