Re: [PATCH v2 13/36] irqchip/gic-v4.1: Don't use the VPE proxy if RVPEID is set

2019-12-18 Thread Zenghui Yu
Hi Marc, On 2019/12/18 22:39, Marc Zyngier wrote: On 2019-11-01 11:05, Zenghui Yu wrote: Hi Marc, On 2019/10/27 22:42, Marc Zyngier wrote: The infamous VPE proxy device isn't used with GICv4.1 because: - we can invalidate any LPI from the DirectLPI MMIO interface - the ITS and redistributors

Re: [PATCH v2 13/36] irqchip/gic-v4.1: Don't use the VPE proxy if RVPEID is set

2019-12-18 Thread Marc Zyngier
On 2019-11-01 11:05, Zenghui Yu wrote: Hi Marc, On 2019/10/27 22:42, Marc Zyngier wrote: The infamous VPE proxy device isn't used with GICv4.1 because: - we can invalidate any LPI from the DirectLPI MMIO interface - the ITS and redistributors understand the life cycle of the doorbell, so we

Re: [PATCH v2 13/36] irqchip/gic-v4.1: Don't use the VPE proxy if RVPEID is set

2019-11-01 Thread Zenghui Yu
Hi Marc, On 2019/10/27 22:42, Marc Zyngier wrote: The infamous VPE proxy device isn't used with GICv4.1 because: - we can invalidate any LPI from the DirectLPI MMIO interface - the ITS and redistributors understand the life cycle of the doorbell, so we don't need to enable/disable it all t

[PATCH v2 13/36] irqchip/gic-v4.1: Don't use the VPE proxy if RVPEID is set

2019-10-27 Thread Marc Zyngier
The infamous VPE proxy device isn't used with GICv4.1 because: - we can invalidate any LPI from the DirectLPI MMIO interface - the ITS and redistributors understand the life cycle of the doorbell, so we don't need to enable/disable it all the time So let's escape early from the proxy related f