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

2017-02-24 Thread Shanker Donthineni
Hi Andre, On 02/22/2017 01:06 AM, Vijay Kilari wrote: Hi Andre, On Tue, Jan 31, 2017 at 12:01 AM, 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

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

2017-02-22 Thread Julien Grall
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, +

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

2017-02-21 Thread Vijay Kilari
Hi Andre, On Tue, Jan 31, 2017 at 12:01 AM, 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

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

2017-02-15 Thread Julien Grall
Hi Andre, On 30/01/17 18:31, Andre Przywara wrote: +static int its_send_cmd_mapd(struct host_its *its, uint32_t deviceid, + int size, uint64_t itt_addr, bool valid) +{ +uint64_t cmd[4]; + +cmd[0] = GITS_CMD_MAPD | ((uint64_t)deviceid << 32); +cmd[1] =

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

2017-02-07 Thread Julien Grall
Hi Andre, On 30/01/2017 18:31, 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] [PATCH 07/28] ARM: GICv3 ITS: introduce device mapping

2017-01-30 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 an rbtree to