diff options
| author | Marc Zyngier <maz@kernel.org> | 2019-12-24 14:10:30 +0300 |
|---|---|---|
| committer | Marc Zyngier <maz@kernel.org> | 2020-01-22 17:22:20 +0300 |
| commit | 0684c7046590dd1e8047e187aaf4c7910cc35bce (patch) | |
| tree | c962428a16f4dde55c65af35f51f5d41721b44fb /scripts/bpf_helpers_doc.py | |
| parent | 64edfaa9a2342a3ce34f8cb982c2c2df84db4de3 (diff) | |
| download | linux-0684c7046590dd1e8047e187aaf4c7910cc35bce.tar.xz | |
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
Diffstat (limited to 'scripts/bpf_helpers_doc.py')
0 files changed, 0 insertions, 0 deletions