Hi Andre,

On 30/01/17 18:31, Andre Przywara wrote:
diff --git a/xen/arch/arm/gic-v3-its.c b/xen/arch/arm/gic-v3-its.c
index 6578e8a..4a3a394 100644
--- a/xen/arch/arm/gic-v3-its.c
+++ b/xen/arch/arm/gic-v3-its.c

[...]


+
+int gicv3_its_map_guest_device(struct domain *d, int host_devid,
+                               int guest_devid, int bits, bool valid)

Whilst looking at the IORT table it occurred to me that the DeviceID may not be uniq accross all the ITSes on the platform.

This means 2 ITS could use the same DeviceID for different devices. However, this function assume the DeviceID will always be uniq.

So we would need to know specify the pITS and vITS for all PCI devices.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to