Hi Julien,
On 10/05/17 18:17, Julien Grall wrote:
>
>
> On 05/10/2017 06:14 PM, Andre Przywara wrote:
>> Hi,
>>
>> On 10/05/17 12:07, Julien Grall wrote:
>>>
>>>
>>> On 05/10/2017 11:47 AM, Andre Przywara wrote:
Hi,
>>>
>>> Hi Andre,
>>>
On 12/04/17 11:44, Julien Grall wrote:
> On
On 05/10/2017 06:14 PM, Andre Przywara wrote:
Hi,
On 10/05/17 12:07, Julien Grall wrote:
On 05/10/2017 11:47 AM, Andre Przywara wrote:
Hi,
Hi Andre,
On 12/04/17 11:44, Julien Grall wrote:
On 12/04/17 01:44, Andre Przywara wrote:
+/* Retrieve the priority of an LPI from its struct pen
Hi,
On 10/05/17 12:07, Julien Grall wrote:
>
>
> On 05/10/2017 11:47 AM, Andre Przywara wrote:
>> Hi,
>
> Hi Andre,
>
>> On 12/04/17 11:44, Julien Grall wrote:
>>> On 12/04/17 01:44, Andre Przywara wrote:
+/* Retrieve the priority of an LPI from its struct pending_irq. */
+static int
On 05/10/2017 11:47 AM, Andre Przywara wrote:
Hi,
Hi Andre,
On 12/04/17 11:44, Julien Grall wrote:
On 12/04/17 01:44, Andre Przywara wrote:
+/* Retrieve the priority of an LPI from its struct pending_irq. */
+static int vgic_v3_lpi_get_priority(struct domain *d, uint32_t vlpi)
+{
+str
Hi,
On 12/04/17 11:44, Julien Grall wrote:
> Hi Andre,
>
> On 12/04/17 01:44, Andre Przywara wrote:
>> Upon receiving an LPI on the host, we need to find the right VCPU and
>> virtual IRQ number to get this IRQ injected.
>> Iterate our two-level LPI table to find this information quickly when
>>
Hi,
On 12/04/17 11:44, Julien Grall wrote:
> Hi Andre,
>
> On 12/04/17 01:44, Andre Przywara wrote:
>> Upon receiving an LPI on the host, we need to find the right VCPU and
>> virtual IRQ number to get this IRQ injected.
>> Iterate our two-level LPI table to find this information quickly when
>>
Hi Andre,
On 12/04/17 01:44, Andre Przywara wrote:
Upon receiving an LPI on the host, we need to find the right VCPU and
virtual IRQ number to get this IRQ injected.
Iterate our two-level LPI table to find this information quickly when
the host takes an LPI. Call the existing injection function
Upon receiving an LPI on the host, we need to find the right VCPU and
virtual IRQ number to get this IRQ injected.
Iterate our two-level LPI table to find this information quickly when
the host takes an LPI. Call the existing injection function to let the
GIC emulation deal with this interrupt.
Als