>>> On 04.01.18 at 14:05, wrote:
> From: Roger Pau Monne
>
> Instead of forcing no pending event on the vCPU, just mask all event
> channels when setting up the BSP and further patches will unmask them
> as event channels are being setup.
>
> Signed-off-by: Roger Pau Monné
> ---
> To be squash
From: Roger Pau Monne
Instead of forcing no pending event on the vCPU, just mask all event
channels when setting up the BSP and further patches will unmask them
as event channels are being setup.
Signed-off-by: Roger Pau Monné
---
To be squashed with "x86/guest: enable event channels upcalls"
-