On Mon, 10 Jun 2019, Julien Grall wrote:
> On 6/10/19 12:23 PM, Andrii Anisov wrote:
> > Hello Julien,
>
> Hi,
>
> > On 02.06.19 13:26, Julien Grall wrote:
> >
> > > + * This should only be called with interrupt routed to guest. The flow
> > > + * of interrupt routed to Xen any software change
Gentle ping.
Cheers,
On 02/06/2019 11:26, Julien Grall wrote:
While SPIs are shared between CPU, it is not possible to receive the
same interrupts on a different CPU while the interrupt is in active
state.
For host interrupt (i.e routed to Xen), the deactivation of the
interrupt is done at
On 6/10/19 12:23 PM, Andrii Anisov wrote:
Hello Julien,
Hi,
On 02.06.19 13:26, Julien Grall wrote:
+ * This should only be called with interrupt routed to guest. The flow
+ * of interrupt routed to Xen any software change of the state.
Sorry I can't parse the last sentence. It seems to
