Re: ARM/gic-v4: deadlock occurred

[Marc Zyngier]

On Sun, 05 May 2019 12:07:02 +0100,
Heyi Guo <guoheyi@xxxxxxxxxx> wrote:
> 
> Hi Marc,
> 
> Appreciate your quick patch :) We'll test it and let you know the
> result.

For what it is worth, I've just pushed out a branch (irq/vlpi-map-rework)
with a more complete fix. It is of course untested (it does compile though).

Please let me know how this fares.

Thanks,

	M.

-- 
Jazz is not dead, it just smell funny.