Re: [Xen-devel] [PATCH v11 13/34] ARM: GIC: ITS: remove no longer needed VCPU ID in host LPI entry

[Julien Grall <julien.grall@xxxxxxx>]

Hi Andre,

On 09/06/17 18:41, Andre Przywara wrote:
> To get easy access to the VCPU a forwareded LPI interrupt should be
NIT: s/forwareded/forwarded/

> injected to, so far we stored the VCPU ID in the host LPI entry.
> However this creates a redundancy, since we keep the target VCPU in
> the struct pending_irq already, which we can easily look up given the
> domain and the virtual LPI number.
> Apart from removing the redundancy this avoids having to update this
> information later and keeping it in sync in a race-free fashion.
> Since this information has not been used that, this patch actually does
> not change anything, it just removes the declaration and initialization.
>
> Signed-off-by: Andre Przywara <andre.przywara@xxxxxxx>
With the typo fixed:

Acked-by: Julien Grall <julien.grall@xxxxxxx>

Cheers,

--
Julien Grall

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