On Wed, 4 Apr 2018, Andre Przywara wrote:
> Hi,
>
> On 04/04/18 01:04, Stefano Stabellini wrote:
> > On Tue, 3 Apr 2018, Julien Grall wrote:
> >> On 29/03/18 18:35, Stefano Stabellini wrote:
> >>> On Thu, 29 Mar 2018, Andre Przywara wrote:
> Stefano pointed out the following situation:
>
Hi,
On 04/04/18 01:04, Stefano Stabellini wrote:
> On Tue, 3 Apr 2018, Julien Grall wrote:
>> On 29/03/18 18:35, Stefano Stabellini wrote:
>>> On Thu, 29 Mar 2018, Andre Przywara wrote:
Stefano pointed out the following situation:
--
1) vcpuA/cpuA is running, it
On 29/03/18 18:35, Stefano Stabellini wrote:
On Thu, 29 Mar 2018, Andre Przywara wrote:
Stefano pointed out the following situation:
--
1) vcpuA/cpuA is running, it has already handled the event, cleared
evtchn_upcall_pending and EOIed the event_irq but hasn't trapped into
On Thu, 29 Mar 2018, Andre Przywara wrote:
> Stefano pointed out the following situation:
> --
> 1) vcpuA/cpuA is running, it has already handled the event, cleared
> evtchn_upcall_pending and EOIed the event_irq but hasn't trapped into
> Xen yet. It is still in guest mode.
>
