irqchip/gic-v3: Add EPPI range support

Browse source

Expand the pre-existing PPI support to be able to deal with the
Extended PPI range (EPPI). This includes obtaining the number of PPIs
from each individual redistributor, and compute the minimum set
(just in case someone builds something really clever...).

Signed-off-by: Marc Zyngier <maz@kernel.org>

...

This commit is contained in:

Marc Zyngier 2019-07-18 13:19:25 +01:00

parent 4b049063e0

commit 5f51f80382

2 changed files with 47 additions and 7 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

42

drivers/irqchip/irq-gic-v3.c

View file

12

include/linux/irqchip/arm-gic-v3.h

View file