Hi,
On 03/04/17 21:41, Julien Grall wrote:
>
>
> On 04/03/2017 09:08 PM, Andre Przywara wrote:
>> Hi,
>
> Hi Andre,
>
>> On 22/03/17 17:29, Julien Grall wrote:
+int gicv3_its_map_guest_device(struct domain *d,
+ paddr_t host_doorbell, uint32_t
host_
On 04/03/2017 09:08 PM, Andre Przywara wrote:
Hi,
Hi Andre,
On 22/03/17 17:29, Julien Grall wrote:
+int gicv3_its_map_guest_device(struct domain *d,
+ paddr_t host_doorbell, uint32_t
host_devid,
+ paddr_t guest_doorbell, uint32_t
Hi,
On 22/03/17 17:29, Julien Grall wrote:
> Hi Andre,
>
> On 16/03/17 11:20, 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
>
Hi,
On 22/03/17 22:45, Stefano Stabellini wrote:
> On Thu, 16 Mar 2017, 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 d
Hi Andre,
On Thu, Mar 16, 2017 at 4:50 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 Dom0 may request to a host
> ITS device with the same identifier.
On Thu, 16 Mar 2017, 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 respectiv
Hi Andre,
On 16/03/17 11:20, 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 respecti
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
late