Re: [PATCH v2] irqchip/gic-v4: fix occasional VLPI drop

2019-01-29 Thread Marc Zyngier
On Tue, 29 Jan 2019 01:32:55 +, Heyi Guo wrote: > > Hi Marc, > > Any comments? None so far, I've queued this to let it soak, and will send it as a fix if nothing else breaks. Thanks, M. > > Thanks, > > Heyi > > > On 2019/1/24 21:37, Heyi Guo wrote: > > 1. In current implement

Re: [PATCH v2] irqchip/gic-v4: fix occasional VLPI drop

2019-01-28 Thread Heyi Guo
Hi Marc, Any comments? Thanks, Heyi On 2019/1/24 21:37, Heyi Guo wrote: 1. In current implementation, every VLPI will temporarily be mapped to the first CPU in system (normally CPU0) and then moved to the real scheduled CPU later. 2. So there is a time window and a VLPI may be sent to CPU0