tree 92318678d279d68e21ede6d2fce5e4680e7eb4d0
parent b58e4511153ab2e14b93594ad66aaaeef30b9717
author Alexei Fedorov <Alexei.Fedorov@arm.com> 1586186874 +0100
committer Alexei Fedorov <Alexei.Fedorov@arm.com> 1586186874 +0100

TF-A GICv3 driver: Add extended PPI and SPI range

This patch provides support for GICv3.1 extended PPI and SPI
range. The option is enabled by setting to 1 and passing
`GIC_EXT_INTID` build flag to gicv3.mk makefile.
This option defaults to 0 with no extended range support.

Change-Id: I7d09086fe22ea531c5df51a8a1efd8928458d394
Signed-off-by: Alexei Fedorov <Alexei.Fedorov@arm.com>