On 21.08.2025 12:50, Mykyta Poturai wrote: > --- a/xen/drivers/passthrough/arm/ipmmu-vmsa.c > +++ b/xen/drivers/passthrough/arm/ipmmu-vmsa.c > @@ -51,7 +51,9 @@ > #include <asm/device.h> > #include <asm/io.h> > #include <asm/iommu_fwspec.h> > +#ifdef CONFIG_HAS_PCI > #include "../arch/arm/pci/pci-host-rcar4.h" > +#endif > > #define dev_name(dev) dt_node_full_name(dev_to_dt(dev))
Hmm, while this may take care of the immediate issue, I wonder if it wouldn't better be the header itself which is modified. Then perhaps also taking care of the other (Misra) issue there: The header guard check not being first in the file, but sitting after an #include. I further assume there is a good reason why a private header is included here from some other subtree. Jan
