On Wed, 15 Apr 2020, Jan Beulich wrote: > > --- a/xen/arch/arm/domain_build.c > > +++ b/xen/arch/arm/domain_build.c > > @@ -2527,6 +2527,7 @@ int __init construct_dom0(struct domain *d) > > > > iommu_hwdom_init(d); > > > > + d->arch.direct_map = true; > > Shouldn't this get set via arch_domain_create() instead?
Yes you are right, this is unnecessary and I can remove it.