Re: [PATCH 0/1] acpi: apei: Enable APEI multiple GHES source to share an single external IRQ

[Mark Salter]

On Wed, 2017-07-19 at 21:23 +0200, Rafael J. Wysocki wrote:
> On Wed, Jul 19, 2017 at 7:24 PM, Mark Salter <msalter@xxxxxxxxxx> wrote:
> > Rafael,
> > 
> > What do you think of this one?
> 
> Please ask this question to Boris Petkov in the first place.

Yes, I should have included Boris. The last time this came up, Boris
said it was up to you. :)

http://lists.infradead.org/pipermail/linux-arm-kernel/2016-January/401772.html