Re: [Xen-devel] [RFC PATCH 07/24] ARM: GICv3 ITS: introduce device mapping

2016-11-03 Thread Andre Przywara
Hi, On 24/10/16 16:31, Vijay Kilari wrote: > On Wed, Sep 28, 2016 at 11:54 PM, Andre Przywara > wrote: >> The ITS uses device IDs to map LPIs to a device. Dom0 will later use >> those IDs, which we directly pass on to the host. >> For this we have to map each device that

Re: [Xen-devel] [RFC PATCH 07/24] ARM: GICv3 ITS: introduce device mapping

2016-10-27 Thread Stefano Stabellini
On Wed, 28 Sep 2016, Andre Przywara wrote: > The ITS uses device IDs to map LPIs to a device. Dom0 will later use > those IDs, which we directly pass on to the host. > For this we have to map each device that Dom0 may request to a host > ITS device with the same identifier. > Allocate the

[Xen-devel] [RFC PATCH 07/24] ARM: GICv3 ITS: introduce device mapping

2016-09-28 Thread Andre Przywara
The ITS uses device IDs to map LPIs to a device. Dom0 will later use those IDs, which we directly pass on to the host. For this we have to map each device that Dom0 may request to a host ITS device with the same identifier. Allocate the respective memory and enter each device into a list to later