On Thu, Aug 13, 2020 at 10:57:23AM +0100, Paul Durrant wrote:
> From: Paul Durrant
>
> The mask does not actually serve a useful purpose as we only use the SynIC
> for timer messages.
Oh, I see. I assume it doesn't make sense because there can only be a
single message pending (a timer one), and
> -Original Message-
> From: Roger Pau Monné
> Sent: 13 August 2020 11:16
> To: Paul Durrant
> Cc: xen-devel@lists.xenproject.org; Durrant, Paul ;
> Wei Liu ; Jan
> Beulich ; Andrew Cooper
> Subject: RE: [EXTERNAL] [PATCH] x86 / viridian: remove the viridian
