On Wed, Jun 10, 2020 at 04:29:23PM +0200, Roger Pau Monne wrote: > There's no need to setup a timer for GSIs that are edge triggered, > since those don't require any EIO or unmask, and hence couldn't block
One small nit. I think you meant "EOI" here.
