tree 2a36efbd2f41f6c3eea82193fd67dc1d6f2ea436
parent c5bd63c43295b275574775072ba066d279836c89
author Heyi Guo <guoheyi@linux.alibaba.com> 1589874074 +0800
committer Manish Pandey <manish.pandey2@arm.com> 1612350739 +0000

drivers/gicv3: limit SPI ID to avoid misjudgement in GICD_OFFSET()

The GICv3 architecture allows GICD_TYPER.ITLinesNumber to be 31, so
the maximum possible value for num_ints is 1024. The value must be
limited to (MAX_SPI_ID + 1), or GICD_OFFSET() will consider it as ESPI
INTID and return wrong register address.

Signed-off-by: Heyi Guo <guoheyi@linux.alibaba.com>
Change-Id: Iddcb83d3e5d241b39f4176c19c2bceaa2c3dd653