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
To get easy access to the VCPU a forwareded LPI interrupt should be
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 n