On 07.08.2025 18:59, Milan Djokic wrote:
> --- a/xen/include/xen/iommu.h
> +++ b/xen/include/xen/iommu.h
> @@ -311,6 +311,15 @@ static inline int iommu_add_dt_pci_sideband_ids(struct
> pci_dev *pdev)
>
> #endif /* HAS_DEVICE_TREE_DISCOVERY */
>
> +#ifdef CONFIG_ARM
> +struct iommu_guest_config {
> + paddr_t s1ctxptr;
> + uint8_t config;
> + uint8_t s1fmt;
> + uint8_t s1cdmax;
> +};
> +#endif /* CONFIG_ARM */This looks like it should rather go into Arm's asm/iommu.h. Jan
