On 01.12.2022 17:02, Rahul Singh wrote:
> --- a/xen/include/xen/iommu.h
> +++ b/xen/include/xen/iommu.h
> @@ -230,6 +230,15 @@ int iommu_do_dt_domctl(struct xen_domctl *, struct
> domain *,
>
> #endif /* HAS_DEVICE_TREE */
>
> +#ifdef CONFIG_ARM
> +struct iommu_guest_config {
> + paddr_t s1ctxptr;
> + uint8_t config;
> + uint8_t s1fmt;
> + uint8_t s1cdmax;
> +};
> +#endif /* CONFIG_ARM */Perhaps rather CONFIG_VIRTUAL_IOMMU? Jan
