Re: ARM/gic-v4: deadlock occurred

2019-05-08 Thread Marc Zyngier
On Sun, 05 May 2019 12:07:02 +0100, Heyi Guo 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).

ARM/gic-v4: deadlock occurred

2019-05-04 Thread Heyi Guo
Hi folks, We observed deadlocks after enabling GICv4 and PCI passthrough on ARM64 virtual machines, when not pinning VCPU to physical CPU. We observed below warnings after enabling lockdep debug in kernel: [ 362.847021] = [ 362.855643] WARNI