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.przyw...@arm.com>
With the typo fixed: Acked-by: Julien Grall <julien.gr...@arm.com> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel