tree c962428a16f4dde55c65af35f51f5d41721b44fb
parent 64edfaa9a2342a3ce34f8cb982c2c2df84db4de3
author Marc Zyngier <maz@kernel.org> 1577185830 +0000
committer Marc Zyngier <maz@kernel.org> 1579702940 +0000

irqchip/gic-v4.1: Don't use the VPE proxy if RVPEID is set

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 functions.

Signed-off-by: Marc Zyngier <maz@kernel.org>
Reviewed-by: Zenghui Yu <yuzenghui@huawei.com>
Link: https://lore.kernel.org/r/20191224111055.11836-8-maz@kernel.org