On 24/07/2020 17:46, Paul Durrant wrote:
> diff --git a/xen/drivers/passthrough/iommu.c b/xen/drivers/passthrough/iommu.c
> index 6a3803ff2c..5bc190bf98 100644
> --- a/xen/drivers/passthrough/iommu.c
> +++ b/xen/drivers/passthrough/iommu.c
> @@ -535,12 +535,12 @@ static void iommu_dump_p2m_table(unsigned char key)
>
> if ( iommu_use_hap_pt(d) )
> {
> - printk("\ndomain%d IOMMU p2m table shared with MMU: \n",
> d->domain_id);
> + printk("%pd: IOMMU page tables shared with MMU\n", d);
Change MMU to CPU? MMU is very ambiguous in this context.
> continue;
> }
>
> - printk("\ndomain%d IOMMU p2m table: \n", d->domain_id);
> - ops->dump_p2m_table(d);
> + printk("%pd: IOMMU page tables: \n", d);
Drop the trailing whitespace?
~Andrew
